Location & Availability for: Deductive Software Verification -- The K

 Staff view

You must be logged in to Tag Records

Deductive Software Verification -- The KeY Book : From Theory to Practice /

Wolfgang Ahrendt [and others] (eds.).

Book Cover
Names: Ahrendt, Wolfgang, | Beckert, Bernhard, | Bubel, Richard, | Hähnle, Reiner, | Schmitt, Peter H., | Ulbrich, Mattias,
Published: Cham : Springer, 2016
Series: Lecture notes in computer science ; 10001,
LNCS sublibrary. SL 2, Programming and software engineering.
Topics: Computer software - Verification. | Computer science. | Software engineering. | Programming languages (Electronic computers) | Computer logic. | Logic, Symbolic and mathematical. | Artificial intelligence. | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics)
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Deductive Software Verification -- The K