Kirjat Willem-Paul de Roever

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Willem-Paul de Roever, Frank de Boer, Jozef Hooman

Toimittajalla varastossa

Lisää ostoskoriin

Data Refinement: Model-Oriented Proof Methods and Their Comparison

Kai Engelhardt, Willem-Paul de Roever

Toimittajalla varastossa

Lisää ostoskoriin

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Toimittajalla varastossa

Lisää ostoskoriin