A Formal Definition of JML in Coq

Lieferzeit: Lieferbar innerhalb 14 Tagen

89,90 

and its Application to Runtime Assertion Checking

ISBN: 3838130642
ISBN 13: 9783838130644
Autor: Lehner, Hermann
Verlag: Südwestdeutscher Verlag für
Umfang: 236 S.
Erscheinungsdatum: 06.07.2015
Auflage: 1/2015
Format: 1.5 x 22 x 15
Gewicht: 369 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4735682 Kategorie:

Beschreibung

Herstellerkennzeichnung:


OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD

E-Mail: info@omniscriptum.com

Das könnte Ihnen auch gefallen …