Constructive Methods in Computing Science Manfred Broy
106,99 €
Titel: Constructive Methods in Computing Science, Untertitel: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare, Einband: Taschenbuch, Autor: Manfred Broy, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 492, Maße: 242x170x27 mm, Gewicht: 834 g, Verkäufer: buch-mimpf, Schlagworte: Concurrent Systems Program Specification Program Verification Programmierunterstützungssysteme Programming Support Systems Programmspezifikation Programmverifikation Software Design Softwaredesign algorithm algorithms distributed systems logic programming verification.
Jetzt bei Ebay:
