Theory of Program Structures: Schemes, Semantics, Verification de Sheila A. Greibach

Theory of Program Structures: Schemes, Semantics, Verification: Lecture Notes in Computer Science, cartea 36

Autor Sheila A. Greibach

en Limba Engleză Paperback – 1975

Din seria Lecture Notes in Computer Science

Preț: 159^.14 lei

Preț vechi: 198^.92 lei
-20% Nou

Puncte Express: 239

:
30^.46€ • 31^.73$ • 25^.32£

Carte tipărită la comandă

Livrare economică 11-25 februarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540074151
ISBN-10: 3540074155
Pagini: 388
Ilustrații: XVIII, 370 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.54 kg
Ediția:1975
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Program schemes — basic definitions and concepts.- Program schemes — basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes.