Marcello M. Bonsangue,Stefan Hallerstede Frank S. De Boer

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Formal Methods for Components and Objects978-3-642-17O72-O
(3-642-17O72-2)
2011

B.S. · M B · M M · M S. · Marcello Bonsangue · Marcello M. Bonsangue

Marcello M. Mariani