Clica una miniatura per anar a Google Books.
|
S'està carregant… Lectures on the Logic of Computer Programmingde Zohar Manna
Cap No hi ha cap discussió a Converses sobre aquesta obra. Sense ressenyes Sense ressenyes | afegeix-hi una ressenya
Pertany a aquestes sèries
This monograph deals with aspects of the computer programming process that involve techniques derived from mathematical logic. The author focuses on proving that a given program produces the intended result whenever it halts, that a given program will eventually halt, that a given program is partially correct and terminates, and that a system of rewriting rules always halts. Also, the author describes the intermediate behavior of a given program, and discusses constructing a program to meet a given specification. No s'han trobat descripcions de biblioteca. |
Debats actualsCapCobertes populars
 Google Books — S'està carregant…GèneresClassificació Decimal de Dewey (DDC)001.64Information Computing and Information Knowledge [formerly : Data processing] [formerly : Electronic]LCC (Clas. Bibl. Congrés EUA)ValoracióMitjana: (3)
Ets tu?Fes-te Autor del LibraryThing. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1