Formal Methods for Components and Objects
Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue, Reiner Hahnle, Frank S. De Boer
Häftad
649 kr
Del 10001 - Lecture Notes in Computer Science
Deductive Software Verification – The KeY Book
From Theory to Practice
Häftad, Engelska, 2016
1 689 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
Del 11026
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Amel Bennaceur, Reiner Hähnle, Karl Meinke, Reiner Hahnle
Häftad
819 kr
Fundamental Approaches to Software Engineering
Reiner Hähnle, Wil van der Aalst, Reiner Hahnle, Wil Van Der Aalst, Wil Van Der Aalst
Häftad
709 kr
Del 13360
Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
Häftad
1 399 kr
Del 14360
Active Object Languages: Current Research Trends
Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle
Häftad
1 059 kr
Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Häftad
1 409 kr
Del 12345
Deductive Software Verification: Future Perspectives
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Reiner Hahnle
Häftad
709 kr
Del 12165