AKTUELLE PARTNERANGEBOTE

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Name: Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Brand: Benjamin Weiss
SKU: 4582615

Binding : Taschenbuch, Label : KIT Scientific Publishing, Publisher : KIT Scientific Publishing, medium : Taschenbuch, numberOfPages : 292, publicationDate : 2011-02-08, authors : Benjamin Weiss, ISBN : 3866446233

2 Angebote · ab 32,50 € gemeldete Gesamtkosten

Finde das Produkt,das wirklich zu dir passt.

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Finde das Produkt,
das wirklich zu dir passt.