Isbn: 9783642142949 - computer aided verification: 22nd international conference, cav 2010, edinburgh, uk, july 15-19, 2010, proceedings: 6174 (3 risultati)
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 110,16
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 113,46
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 676 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,00
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State-of-the-art researchFast-track conference proceedingsUnique visibilityInvited Talks.- Policy Monitoring in First-Order Temporal Logic.- Retrofitting Legacy Code for Security.- Quantitative Information Flow: From Theory to Practice.- Memory Managem. …
