Isbn: 9781848213623 - formal methods: industrial used from model to the code (2 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (2)

  • Neu (2)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: John Wiley & Sons, 2012

    184821362X / 9781848213623

    • Hardcover

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 159,33

    EUR 7,68 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 1 verfügbar

    Zustand: New. pp. 384.

  • Sprache: Englisch

    Verlag: ISTE Ltd and John Wiley & Sons Inc, 2012

    184821362X / 9781848213623

    • Hardcover

    Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 238,07

    EUR 9,38 Versand 
    Versand innerhalb von USA

    Anzahl: 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.…