Fortæl dine venner om denne vare:
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 2007 edition
John Derrick
Pris
NOK 689
Bestilles fra fjernlager
Forventes klar til forsendelse 7. - 11. jul.
Tilføj til din iMusic ønskeseddel
Eller
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 2007 edition
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 12. juni 2007 |
| ISBN13 | 9783540731955 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 378 |
| Mål | 155 × 235 × 20 mm · 548 g |
| Sprog | Fransk |
| Klipper/redaktør | Derrick, John |
| Klipper/redaktør | Vain, Juri |
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Paperback Bog) [Softcover reprint of the original 1st ed. 2018 edition] (2019)](https://imusic.b-cdn.net/images/item/original/976/9783030064976.jpg?john-derrick-2019-refinement-semantics-languages-and-applications-paperback-bog&class=scaled&v=1593606661)
![Cover for John Derrick · Refinement: Semantics, Languages and Applications (Hardcover bog) [1st ed. 2018 edition] (2018)](https://imusic.b-cdn.net/images/item/original/091/9783319927091.jpg?john-derrick-2018-refinement-semantics-languages-and-applications-hardcover-bog&class=scaled&v=1541590630)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Paperback Bog) [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-paperback-bog&class=scaled&v=1556165679)
![Cover for John Derrick · Refinement in Z and Object-Z: Foundations and Advanced Applications (Hardcover bog) [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-hardcover-bog&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 (Paperback Bog) [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-paperback-bog&class=scaled&v=1556165666)