Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004. Revised Lectures

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

zurück