Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Produktform: Buch / Einband - flex.(Paperback)

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Methods, Models and Tools for Fault Tolerance

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Produktform: Buch / Einband - flex.(Paperback)

Methods, Models and Tools for Fault Tolerance

Produktform: Buch / Einband - flex.(Paperback)

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Object Orientation with Parallelism and Persistence

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Object Orientation with Parallelism and Persistence

Produktform: Buch / Einband - fest (Hardcover)

Object Orientation with Parallelism and Persistence

Produktform: Buch / Einband - flex.(Paperback)