Formal Methods in System Design.
שמור ב:
| פורמט: | Revue numérique |
|---|---|
| שפה: | Indéterminée |
| יצא לאור: |
Springer
|
| גישה מקוונת: | Accès Université d'Orléans |
| État de collection: | Revue numérique .- État de collection : 1997 à nos jours |
| Variante du titre: | Formal Methods in System Design |
פריטים דומים
-
Formal methods in system design.
(Revue numérique)
Kluwer, 2002 -
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, Bertinoro, Italy, september 13-18, 2004 : revised lectures
(Livre numérique)
Bernardo, Marco -
Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013 : advanced Lectures
(Livre numérique)
Springer Berlin Heidelberg, 2013 -
Formal Methods
(Livre numérique)
Springer Nature, 2024 -
Formal Methods
(Livre numérique)
Springer Nature, 2024