First-Order Programming Theories Laszlo Ury
106,99 €
Titel: First-Order Programming Theories, Einband: Taschenbuch, Autor: Laszlo Ury, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 368, Maße: 242x170x20 mm, Gewicht: 629 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System EDV / Theorie / Software-Entw. / Software Engineering Mathematik / Informatik, Computer Mathematik / Logik Logik erster Ordnung Program Verification Programmiertheorie Programmierung (EDV) Programmverifikation Semantics Temporale Logik first-order reasoning formal method logic programming programming language programming theory temporal logic verification.
Jetzt bei Ebay:
