Buch beschaffen
Testing cycling software components of reactive systems on the basis of formal specifications
Testing is the primary method through which the producer of software and the user or customer gain confidence that the software will work as intended or specified. Using formal methods, which is highly recommended by safety standard and legal…
Printexemplar erwerben
Selbstverständlich können Sie das Buch auch in Ihrer Buchhandlung vor Ort bestellen.
Bibliotheken können zudem unsere eBooks bei ProQuest beziehen.
Geschäftskunden bestellen bitte direkt beim Verlag Dr. Kovač, gern auch per E-Mail.
In den Bibliotheken
Falls Sie das Buch nicht selbst erwerben möchten, können Sie sich an Ihre Uni-Bibliothek wenden und den Erwerb des gewünschten Titels zum Kauf durch Ihre Bibliothek vorschlagen. Hinter dem obigen Button finden Sie Hilfsmittel, damit Sie schneller ans Ziel kommen.