9781848213623 - formal methods: industrial used from model to the code (2 Ergebnisse)
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 178,64
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until .
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 230,11
EUR 9,07 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. Editor(s): Boulanger, Jean-Louis. Num Pages: 374 pages, black & white ill…ustrations, black & white tables, figures. BIC Classification: TG. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 27. Weight in Grams: 704. . 2012. . . . . Books ship from the US and Ireland.
