Vertel uw vrienden over dit artikel:
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2 Tiziana Margaria
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 31 dec. - 5 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2
Tiziana Margaria
These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
443 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 20 maart 1996 |
| ISBN13 | 9783540610427 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 443 |
| Afmetingen | 156 × 234 × 23 mm · 635 g |
| Taal en grammatica | Duits |
| Uitgever | Margaria, Tiziana |
| Uitgever | Steffen, Bernhard |
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Theoretical Computer Science and (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/301/9783662452301.jpg?tiziana-margaria-2014-leveraging-applications-of-formal-methods-verification-and-validation-specialized-techniques-and-applications-6th-international-symposium-isola-2014-imperial-corfu-greece-october-8-11-2014-proceedings-part-ii-theoretical-computer-scie&class=scaled&v=1473529702)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Theoretical Computer Science and General (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/332/9783662452332.jpg?tiziana-margaria-2014-leveraging-applications-of-formal-methods-verification-and-validation-technologies-for-mastering-change-6th-international-symposium-isola-2014-imperial-corfu-greece-october-8-11-2014-proceedings-part-i-theoretical-computer-science-and&class=scaled&v=1575752119)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/253/9783642340253.jpg?tiziana-margaria-2012-leveraging-applications-of-formal-methods-verification-and-validation-5th-international-symposium-isola-2012-heraklion-crete-greece-october-15-18-2012-proceedings-part-i-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1575752119)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II - Theoretical Computer Science and General Issues (Paperback Book) [2012 edition] (2012)](https://imusic.b-cdn.net/images/item/original/314/9783642340314.jpg?tiziana-margaria-2012-leveraging-applications-of-formal-methods-verification-and-validation-5th-international-symposium-isola-2012-heraklion-crete-greece-october-15-18-2012-proceedings-part-ii-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1575752118)
![Cover for Tiziana Margaria · Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings - Communications in Computer and Information Science (Paperback Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/781/9783540884781.jpg?tiziana-margaria-2008-leveraging-applications-of-formal-methods-verification-and-validation-third-international-symposium-isola-2008-porto-sani-greece-october-13-15-2008-proceedings-communications-in-computer-and-information-science-paperback-book&class=scaled&v=1575752118)
