Augusto Sampaio – alle Bücher

Ihre Suche nach "augusto sampaio" ergab 1 Treffer

The Application of Formal Methods

Lecture Notes in Computer Science -Band 14900

This Festschrift, dedicated to Jim Woodcock, contains papers written by many of his closest collaborators. After a PhD on software verification at the University of Liverpool, Jim has combined a successf…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb