Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Cliff B. Jones
Themen in »Formal Methods and Hybrid Real-Time Systems«
Algorithms algorithm design formal method logic modeling organization real-time software engineering verification
Stimmen zu »Formal Methods and Hybrid Real-Time Systems«
Details
ISBN: 9783540752202
Verlag: Springer Berlin
Erscheinung: 06.09.2007