Isbn: 9783540291893 - formal techniques for networked and distributed systems - forte 2005: 25th ifip wg 6.1 international conference, taipei, taiwan, october 2-5, 2005, proceedings: 3731 (2 risultati)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,37
EUR 13,17 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 118,64
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New. KEYNOTE SPEECHES.- Ranking Abstraction as Companion to Predicate Abstraction.- Developing High Quality Software with Formal Methods: What Else Is Needed.- A Testing Architecture for Designing High-Reliable MANET Protocols.- REGULAR PAPERS.- A Composition O.
