9781013271014 - computer aided verification von chockler, hana; weissenbacher, georg (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: Saint Philip Street Press 2020

      1013271017 / 9781013271014

      • Hardcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

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

      Zustand: Neu

      EUR 70,86

      EUR 13,89 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In.

    • Sprache: Englisch

      Verlag: Saint Philip Street Press 2020

      1013271017 / 9781013271014

      • Hardcover

      Anbieter: moluna, Greven, , Deutschlandmoluna

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

      Zustand: Neu

      EUR 79,65

      EUR 48,99 Versand 
      Versand von Deutschland nach USA

      Anzahl: Mehr als 20 verfügbar

      Gebunden. Zustand: New. KlappentextrnrnThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool pap.