The Foundations of Program Verification de Jacques Loeckx

The Foundations of Program Verification: Series in Computer Science

Cu Jacques Loeckx Autor Kurt Sieber Contribuţii de Ryan Stansifer

de Limba Germană Paperback – 3 oct 2013

Din seria Series in Computer Science

15%

Preț: 472^.63 lei
20%

Preț: 1235^.10 lei
15%

Preț: 613^.18 lei
20%

Preț: 957^.83 lei
18%

Preț: 1196^.44 lei
20%

Preț: 623^.52 lei
20%

Preț: 938^.80 lei
20%

Preț: 612^.45 lei
20%

Preț: 319^.75 lei
20%

Preț: 947^.70 lei
20%

Preț: 947^.87 lei
20%

Preț: 331^.30 lei
Preț: 256^.25 lei
20%

Preț: 327^.04 lei
20%

Preț: 319^.13 lei
15%

Preț: 493^.73 lei
20%

Preț: 281^.72 lei
20%

Preț: 352^.01 lei
19%

Preț: 454^.94 lei
20%

Preț: 752^.38 lei
Preț: 412^.03 lei
20%

Preț: 805^.88 lei

Preț: 306^.08 lei

Nou

Puncte Express: 459

:
54^.15€ • 63^.67$ • 47^.43£

Carte tipărită la comandă

Livrare economică 29 ianuarie-12 februarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783322967541
ISBN-10: 3322967549
Pagini: 244
Ilustrații: IX, 230 S. 1 Abb. in Farbe.
Dimensiuni: 152 x 229 x 13 mm
Greutate: 0.33 kg
Ediția:2. Aufl. 1987. Softcover reprint of the original 2nd ed. 1987
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Series in Computer Science

Locul publicării:Wiesbaden, Germany

Public țintă

Graduate

Cuprins

1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments.

Papetărie, jocuri, reviste

The Foundations of Program Verification: Series in Computer Science

Preț: 306.08 lei

Specificații

V-ar putea interesa

Public țintă

Cuprins

Preț: 306^.08 lei