Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

From Theory to Practice (Programming and Software Engineering)

Cover Art for 9783319498119, Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science) by Wolfgang Ahrendt
ISBN: 9783319498119
Publisher: Springer
Published: 3 February, 2017
Format: Paperback
Editions:
1 other edition of this product
Booko is reader-supported. When you buy through links on our site, we may earn an affiliate commission. Learn more

Shop Preferences

Customize which shops to display. You can include the following shops by logging in to change your settings.

Booko is reader-supported. When you buy through links on our site, we may earn an affiliate commission. Learn more

Historical Prices

Loading...
This graph is for informational purposes only. Occasionally pricing data is captured incorrectly, through bugs in Booko or the stores supplying data, which may distort the graph, providing undue hope that even lower prices sometimes appear.

Recently Updated