Verwandte Artikel zu Programming Methodology
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
(parts and sections listed) Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems and real time, specifying complex behavior] Part II: Programming techniques [object orientation, type theory] Part III: Applications and automated theories [putting theories into practice by automation, programming circuits, security and keeping secrets]
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
