MayDay Sale → Spara upp till 60%
Alla 3s utgivelser på Susanne Graf
Kategorier
Annan
Kundservice
SEK
![Cover for Susanne Graf · Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju (Pocketbok) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/942/9783319191942.jpg?susanne-graf-2015-formal-techniques-for-distributed-objects-components-and-systems-35th-ifip-wg-6-1-international-conference-forte-2015-held-as-part-of-the-10th-international-federated-conference-on-distributed-computing-techniques-discotec-2015-grenoble-f&class=scaled&v=1510437836)
![Cover for Susanne Graf · Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings - Programming and Software Engineering (Pocketbok) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/377/9783540472377.jpg?susanne-graf-2006-automated-technology-for-verification-and-analysis-4th-international-symposium-atva-2006-beijing-china-october-23-26-2006-proceedings-programming-and-software-engineering-pocketbok&class=scaled&v=1424180895)
![Cover for Susanne Graf · Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/147/9783540213147.jpg?susanne-graf-2004-model-checking-software-11th-international-spin-workshop-barcelona-spain-april-1-3-2004-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1608825295)