9781013271007 - 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

      1013271009 / 9781013271007

      • Softcover

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

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

      Zustand: Neu

      EUR 66,57

      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

      1013271009 / 9781013271007

      • Softcover

      Anbieter: moluna, Greven, , Deutschlandmoluna

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

      Zustand: Neu

      EUR 75,04

      EUR 48,99 Versand 
      Versand von Deutschland nach USA

      Anzahl: Mehr als 20 verfügbar

      Kartoniert / Broschiert. 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.