Auf ein Miniaturbild klicken, um zu Google Books zu gelangen.
Lädt ... Abstraction, Refinement and Proof for Probabilistic Systemsvon Annabelle McIver, Carroll Morgan
Keine Lädt ...
Melde dich bei LibraryThing an um herauszufinden, ob du dieses Buch mögen würdest. Keine aktuelle Diskussion zu diesem Buch. Keine Rezensionen keine Rezensionen | Rezension hinzufügen
Gehört zur Reihe
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics. Keine Bibliotheksbeschreibungen gefunden. |
Aktuelle DiskussionenKeine
Google Books — Lädt ... GenresMelvil Decimal System (DDC)005.1Information Computer Science; Knowledge and Systems Computer programming, programs, data, security ProgrammingKlassifikation der Library of Congress [LCC] (USA)BewertungDurchschnitt:
Bist das du?Werde ein LibraryThing-Autor. |