Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad, 2022
1 449 kr
Del 10001 i serien Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
1 739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
Produktinformation
- Utgivningsdatum2016-12-21
- Mått155 x 235 x 40 mm
- Vikt1 095 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor702
- FörlagSpringer International Publishing AG
- ISBN9783319498119
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad, 2007
1 449 kr
Del 12345
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Häftad, 2020
729 kr
Del 12165