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ț: 161^.89 lei

Preț vechi: 202^.37 lei
-20% Nou

Puncte Express: 243

:
30^.99€ • 32^.23$ • 25^.97£

Carte tipărită la comandă

Livrare economică 13-27 martie

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.