Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino / edited by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt.
By: Contributor(s): Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 4334Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: v.: digitalISBN: - 9783540690610
There are no comments on this title.
-
41
Vida económica de los pueblos /
by Krause, Fritz -
42
Historia de la antigua literatura latino-cristiana /
by Gudeman, Alfred -
43
Punto y línea sobre el plano :
by Kandinsky, Vasili -
44
Ética contemporánea /
by Warnock, Mary -
45
Mahoma, profeta y hombre de estado /
by Watt, W.M. -
46
Ciencia hombre y moral /
by Thorpe, W.H. -
47
Los Mitos de nuestro tiempo
by Sauvy, Alfred -
48
La Tradición Oral /
by Vansina, Jan -
49
Historia de la idea europea /
by Voyenne, Bernard -
50
Introducción a la Ética Social /
by Wendland, H. D. -
51
Los Griegos de la antigüedad
by Finley, M. I. -
52
Prehistoria e historia del próximo oriente
by Ripoll Perelló, Eduardo -
53
Australia continente tranquilo /
by Pike, Douglas -
54
Prehistoria del Nuevo Mundo /
by Sanders, W.T. -
55
Introducción a la lógica / | 1a ed.
by Mitchel, David -
56
Introducción a la lógica /
by Mitchel, David -
57
Filosofía y filosofía de la ciencia /
by Geymonat, Ludovico -
58
Ética contemporánea /
by Warnock, Mary -
59
Ética del Ser Racional /
by Veatch, Henry B. -
60
Historia de la literatura portuguesa /
by Figueiredo, Fidelino de
Verification of Object-Oriented Software. The KeY Approach
APA
Beckert B., Hähnle R., Schmitt P. H. & SpringerLink (Online service). (2007). Verification of Object-Oriented Software. The KeY Approach. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Chicago
Beckert Bernhard, Hähnle Reiner, Schmitt Peter H and SpringerLink (Online service). 2007. Verification of Object-Oriented Software. The KeY Approach. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
Harvard
Beckert B., Hähnle R., Schmitt P. H. and SpringerLink (Online service). (2007). Verification of Object-Oriented Software. The KeY Approach. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg.
MLA
Beckert Bernhard, Hähnle Reiner, Schmitt Peter H and SpringerLink (Online service). Verification of Object-Oriented Software. The KeY Approach. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. 2007.