Logic of Software. A Tasting Menu of Formal Methods
Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20221 408 kr
Deductive Software Verification – The KeY Book
From Theory to Practice
AvWolfgang Ahrendt,Bernhard Beckert
Häftad, Engelska, 2016
Del 10001 i serien Lecture Notes in Computer Science
1 335 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Verification of Object-Oriented Software. The KeY Approach
Peter H. Schmitt, Reiner Hahnle, Bernhard Beckert
E-bok
20071 420 kr
Deductive Software Verification - The KeY Book
Mattias Ulbrich, Peter H. Schmitt, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
20161 722 kr
Deductive Software Verification: Future Perspectives
Mattias Ulbrich, Reiner Hahnle, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt
E-bok
2020708 kr
Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad, 2022
1 114 kr
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad, 2007
1 114 kr
Del 12345
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Häftad, 2020
561 kr