Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Verification, Model Checking, and Abstract Interpretation Krishna Shankaranaraya

Ø 0.0
0 Bewertungen
62,05 €

Titel: Verification, Model Checking, and Abstract Interpretation, Untertitel: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I, Einband: Taschenbuch, Autor: Krishna Shankaranarayanan, Verlag: Springer Nature Switzerland, Springer Nature Switzerland, Sprache: Englisch, Seiten: 252, Maße: 235x155x14 mm, Gewicht: 388 g, Verkäufer: buch-mimpf, Schlagworte: Programming languages abstract interpretation automated reasoning formal methods formal verification model checking program analysis verification.

Jetzt bei Ebay:

Zum Angebot *
  • Verlag:
    Springer Nature Switzerland, Springer Nature Switzerland
  • Autor:
    Krishna Shankaranarayanan
  • Seiten:
    252
  • Gewicht:
    388
  • Einband:
    Taschenbuch
  • Format:
    235x155x14 mm
  • Sprache:
    Englisch
  • Marke:
    Springer Nature Switzerland, Springer Nature Switzerland
  • Fachbereich:
    Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
  • Publikationstitel:
    Verification, Model Checking, and Abstract Interpretation
  • Erscheinungsjahr:
    20250124
  • Produktart:
    Bücher
  • Buchtitel:
    Verification, Model Checking, and Abstract Interpretation
  • Untertitel:
    26th International Conference, VMCAI 2025, Denver, CO, USA, Ja...
  • Film-/Fernseh-Titel:
    Keine Angabe
  • Publikationsname:
    Verification, Model Checking, and Abstract Interpretation
  • Musiktitel:
    Keine Angabe
  • Interpret:
    Keine Angabe
  • Schlagworte:
    Programming languages abstract interpretation automated reas...
  • ISBN:
    9783031826993
  • Standardversand:
    DHL Paket kostenlos - Lieferung zwischen 15. May 2025 und 17. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere

Ähnliche Artikel

Produktbild - Verification, Model Checking, and Abstract Interpretation Krishna Shankaranaraya

Verification, Model Checking, and Abstract Interpretation Krishna Shankaranaraya

62,05 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation David Monniaux

Verification, Model Checking, and Abstract Interpretation David Monniaux

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Radhia Cousot

Verification, Model Checking, and Abstract Interpretation Radhia Cousot

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Giorgio Levi

Verification, Model Checking, and Abstract Interpretation Giorgio Levi

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Xavier Rival

Verification, Model Checking, and Abstract Interpretation Xavier Rival

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Jens Palsberg

Verification, Model Checking, and Abstract Interpretation Jens Palsberg

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Ruzica Piskac

Verification, Model Checking, and Abstract Interpretation Ruzica Piskac

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck

Verification, Model Checking, and Abstract Interpretation Lenore D. Zuck

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Deepak D'Souza

Verification, Model Checking, and Abstract Interpretation Deepak D'Souza

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Kedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation Kedar S. Namjoshi

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation K. Rustan M. Leino

Verification, Model Checking, and Abstract Interpretation K. Rustan M. Leino

53,49 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi

Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi

74,90 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Agostino Cortesi

Verification, Model Checking, and Abstract Interpretation Agostino Cortesi

74,89 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Rayna Dimitrova

Verification, Model Checking, and Abstract Interpretation Rayna Dimitrova

80,24 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Cezara Dragoi

Verification, Model Checking, and Abstract Interpretation Cezara Dragoi

80,24 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Rayna Dimitrova

Verification, Model Checking, and Abstract Interpretation Rayna Dimitrova

80,24 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Damien Zufferey

Verification, Model Checking, and Abstract Interpretation Damien Zufferey

85,59 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Thomas Wies

Verification, Model Checking, and Abstract Interpretation Thomas Wies

96,29 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation Fritz Henglein

Verification, Model Checking, and Abstract Interpretation Fritz Henglein

96,29 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation: 19th International Co

Verification, Model Checking, and Abstract Interpretation: 19th International Co

4,72 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay