Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Logical Derivation of Computer Programsdi Thomas G Windeknecht
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. Nessuna recensione nessuna recensione | aggiungi una recensione
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This approach is based upon design philosophy, and the author has set out to use language that is easy to understand. The method has also been class-tested throughout its development, and features examples, solved exercises and explanations. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessuno
Google Books — Sto caricando le informazioni... GeneriSistema Decimale Melvil (DDC)005.10151Information Computer Science; Knowledge and Systems Computer programming, programs, data, security Programming Programming -- Subdivisions Philosophy & theoryClassificazione LCVotoMedia: Nessun voto.Sei tu?Diventa un autore di LibraryThing. |