Freunden von diesem Artikel berichten:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science John Derrick 2007 edition
Preis
€ 51,49
Bestellware
Lieferdatum: ca. 6. - 13. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Lecture Notes in Computer Science
John Derrick
This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007.
389 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 12. Juni 2007 |
| ISBN13 | 9783540731955 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 378 |
| Maße | 155 × 235 × 20 mm · 548 g |
| Sprache | Französisch |
| Redakteur | Derrick, John |
| Redakteur | Vain, Juri |
Weitere Titel von John Derrick
Alle anzeigen![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Taschenbuch) [Softcover Reprint of the Original 1st 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/976/9783030064976.jpg?john-derrick-2019-refinement-semantics-languages-and-applications-taschenbuch&class=scaled&v=1593606661)
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Gebundenes Buch) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-gebundenes-buch&class=scaled&v=1541590630)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Taschenbuch) [Softcover reprint of the original 2nd ed. 2014 edition] (2015)](https://imusic.b-cdn.net/images/item/original/677/9781447161677.jpg?john-derrick-2015-refinement-in-z-and-object-z-foundations-and-advanced-applications-taschenbuch&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Gebundenes Buch) [2nd ed. 2014 edition] (2013)](https://imusic.b-cdn.net/images/item/original/542/9781447153542.jpg?john-derrick-2013-refinement-in-z-and-object-z-foundations-and-advanced-applications-gebundenes-buch&class=scaled&v=1411063625)
![Cover for John Derrick · Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings - Theoretical Computer Science and General Issues (Taschenbuch) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/840/9783642308840.jpg?john-derrick-2012-abstract-state-machines-alloy-b-vdm-and-z-third-international-conference-abz-2012-pisa-italy-june-18-21-2012-proceedings-theoretical-computer-science-and-general-issues-taschenbuch&class=scaled&v=1556165666)
Alle Titel von John Derrick ansehen ( u. a. Taschenbuch und Gebundenes Buch )