Formal methods for the specification and verification of hardware and software systems are becomi...
Unser bisheriger Preis:ORGPRICE: 99,36 €
This book constitutes the refereed proceedings of the 29th International Conference on Applicatio...
Unser bisheriger Preis:ORGPRICE: 56,23 €
Formal methods for the specification and verification of hardware and software systems are becomi...
Das Buch ist hervorgegangen aus Vorlesungen, die wir an der Universität Hamburg gehalten haben. D...
This book constitutes the refereed proceedings of the 29th International Conference on Applicatio...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der...
Die Gesellschaft fOr Informatik fOhrt ihre 18. Jahrestagung an der Universitat Hamburg durch. Der...