Verwandte Artikel zu Verifiable Programming (Prentice-hall International...

Verifiable Programming (Prentice-hall International Series in Computer Science) - Softcover

Dahl, Ole-Johan

 
9780139510625: Verifiable Programming (Prentice-hall International Series in Computer Science)
Softcover
ISBN 10: 0139510621 ISBN 13: 9780139510625
Verlag: Prentice-Hall, 1992

Inhaltsangabe

This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Prentice-Hall
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0139510621
ISBN 13 
9780139510625
Einband
Taschenbuch
Anzahl der Seiten
280
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Deutschland