Tiziana, Margaria books & textbook
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, ... Computer Science and General Issues)
Margaria, Tiziana Steffen, Bernhard
Springer /2018-10-31 Paperback / 536 Pages
isbn-10: 3030034232 / isbn-13: 9783030034238
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Margaria, Tiziana Graf, Susanne Larsen, Kim G.
Springer /2019-06-26 Paperback / 448 Pages
isbn-10: 3030223477 / isbn-13: 9783030223472
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Part III (Lecture Notes in Computer Science)
Margaria, Tiziana Steffen, Bernhard
Springer /2022-10-20 Paperback / 488 Pages
isbn-10: 3031197585 / isbn-13: 9783031197581
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, ... Computer Science and General Issues)
Margaria, Tiziana Steffen, Bernhard
Springer /2018-10-30 Paperback / 544 Pages
isbn-10: 3030034267 / isbn-13: 9783030034269
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles (Theoretical Computer Science and General Issues)
Margaria, Tiziana Steffen, Bernhard
Springer /2020-10-29 Paperback / 608 Pages
isbn-10: 3030613615 / isbn-13: 9783030613617
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November ... Computer Science and General Issues)
Margaria, Tiziana Steffen, Bernhard
Springer /2018-10-29 Paperback / 604 Pages
isbn-10: 3030034178 / isbn-13: 9783030034177
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard
Springer /1995-11-23 Paperback / 305 Pages
isbn-10: 3540606300 / isbn-13: 9783540606307
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... (Lecture Notes in Computer Science, 1055)
Margaria, Tiziana Steffen, Bernhard
Springer /1996-03-20 Paperback / 456 Pages
isbn-10: 3540610421 / isbn-13: 9783540610427
Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings (Lecture Notes in Computer Science, 5364)
Bouguettaya, Athman Krüger, Ingolf Margaria, Tiziana
Springer /2008-11-13 Paperback / 755 Pages
isbn-10: 3540896473 / isbn-13: 9783540896470
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... (Lecture Notes in Computer Science, 2144)
Springer /2001-08-27 Paperback / 500 Pages
isbn-10: 3540425411 / isbn-13: 9783540425410
