ISBN: 9781848213623 - formal methods: industrial used from model to the code (12 Ergebnisse)
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 134,35
EUR 2,36 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Hardcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 136,79
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Hardcover
Anbieter: INDOO, Avenel, NJ, USAINDOO
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 137,99
Versand gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Brand New.
- Hardcover
Anbieter: Books Puddle, Woodside, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 153,15
EUR 3,56 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. 384.
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 141,06
EUR 17,73 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 156,91
EUR 2,36 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 159,33
EUR 7,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 384.
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 164,04
EUR 17,73 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 185,53
EUR 9,50 VersandVersand von Irland nach 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 illustrations, black & white tables, figures. BIC Classification: TG. Category: (P) Professional & Vocational. Dimension: 164 x 241 x 27. Weight in Grams: 704. . 2012. . . . .…
- Hardcover
Anbieter: Ubiquity Trade, Miami, FL, USAUbiquity Trade
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 199,57
EUR 2,68 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Brand new! Please provide a physical shipping address.
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 182,25
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 238,07
EUR 9,38 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 illustrations, 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.…
