^^PAGEHEADLINE ^^
-
Tests and Proofs
Springer Verlag GmbH 31.03.2008 - 2008Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis volume contains the research papers, invited papers, and abstracts of - torials presented at...
-
Deductive Software Verification - The KeY Book
Springer Verlag GmbH 21.12.2016 - 2016Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenStatic analysis of software with deductive methods is a highly dynamic field of research on the v...
-
Formal Methods for Components and Objects
Springer Verlag GmbH 03.01.2013 - 2013Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenInhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...
-
Formal Verification of Object-Oriented Software
Springer Verlag GmbH 19.07.2012 - 2012Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents the thoroughly refereed post-conference proceedings of the International Confe...
-
Verification of Object-Oriented Software
Springer Verlag GmbH 03.01.2007 - 2007Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenLong gone are the days when program veri?cation was a task carried out merely by hand with paper ...
-
Electronic Voting
Springer Verlag GmbH 25.09.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
Deductive Software Verification: Future Perspectives
Springer Verlag GmbH 09.12.2020 - 2020Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...
-
Automated Reasoning with Analytic Tableaux and Related Methods
Springer Verlag GmbH 05.09.2005 - 2005Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 Werktagen -
The Logic of Software. A Tasting Menu of Formal Methods
Springer Verlag GmbH 16.06.2022 - 2022Nar: - PDesc:Print on Demand - Print on Demand - Lieferbar innerhalb von 3-5 WerktagenThis Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains paper...
- 1