Using Event-B for Critical Device Software Systems
Springer (9781447157908) | For Critical Device Software
Preis von (4 Angebote)101.64 EUR
Weitere Informationen
5STARCooks (9780655527299) | Using Software systems Third
5STARCooks ist eine Marke, die sich auf Kochbücher spezialisiert hat. Sie bietet eine Vielzahl an Kochbüchern an, die sich sowohl an Anfänger als auch an Fortgeschrittene richten. Die Bücher sind übersichtlich gestaltet und enthalten viele Schritt-für-Schritt-Anleitungen, die das Kochen erleichtern.
Springer (9781447157908) | For Critical Device Software
(9783659598777) | Cathodic protection design for, Cathodic protection
(9783838381701)
Springer (9783642063749) | Object-Oriented Metrics