9781013271144 - computer aided verification von tasiran, serdar; dillig, isil (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

      1013271149 / 9781013271144

      • 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,99

      EUR 13,98 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

      1013271149 / 9781013271144

      • Softcover

      Anbieter: moluna, Greven, Deutschlandmoluna

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

      Zustand: Neu

      EUR 75,23

      EUR 48,99 Versand 
      Versand von Deutschland nach USA

      Anzahl: Mehr als 20 verfügbar

      Kartoniert / Broschiert. Zustand: New. KlappentextrnrnThe open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers p.