Model Checking Software

C. R. Ramakrishnan, Ezio Bartocci, 2013
Bewertungen
MarkeMehr von Springer
Zwischen Mi, 11.6. und Fr, 13.6. geliefert
Mehr als 10 Stück an Lager beim Lieferanten

Produktinformationen

Das Buch "Model Checking Software" dokumentiert die refereed Proceedings des 20. Internationalen Symposiums über Model Checking Software, das im Juli 2013 in Stony Brook, NY, USA, stattfand. Es umfasst 18 reguläre Beiträge, 2 Tool-Demonstrationspapiere und 2 eingeladene Beiträge, die aus insgesamt 40 Einreichungen sorgfältig ausgewählt wurden. Der Schwerpunkt des Symposiums liegt traditionell auf Techniken des expliziten Zustandsmodell-Checkings, wie sie in SPIN und anderen verwandten Werkzeugen implementiert sind. In den letzten Jahren hat sich der Fokus jedoch erweitert, um auch Techniken zur Verifikation und formalen Testung von Softwaresystemen im Allgemeinen zu berücksichtigen. Dieses Buch bietet somit wertvolle Einblicke in aktuelle Entwicklungen und Herausforderungen im Bereich der Softwareverifikation.

Das Wichtigste auf einen Blick

Thema
Technik & IT
Autor
C. R. Ramakrishnan, Ezio Bartocci
Bucheinband
Kartonierter Einband
Jahr
2013
Artikelnummer
55522633

Allgemeine Informationen

Verlag
Springer
Kategorie
Fachbücher
Release-Datum
4.3.2025

Buch Eigenschaften

Thema
Technik & IT
Autor
C. R. Ramakrishnan, Ezio Bartocci
Jahr
2013
Bucheinband
Kartonierter Einband
Jahr
2013

Freiwilliger Klimabeitrag

CO₂-Emission
Klimabeitrag

30 Tage Rückgaberecht wenn ungeöffnet
24 Monate Garantie (Bring-In)

Produkte vergleichen

Passend dazu

Bewertungen & Meinungen

Garantiefallquote

So oft weist ein Produkt dieser Marke in der Kategorie «Fachbücher» innerhalb der ersten 24 Monate einen Defekt auf.

Quelle: Digitec Galaxus
  • 41.Penguin Random House
    0.1 %
  • 41.rororo
    0.1 %
  • 41.Springer
    0.1 %
  • 41.Urban & Fischer
    0.1 %
  • 45.Beck C.H.
    0.2 %

Garantiefalldauer

So lange dauert eine Abwicklung ab Ankunft bei der Servicestelle bis Wiedererhalt in Arbeitstagen im Durchschnitt.

Quelle: Digitec Galaxus
  • Springer
    Ungenügende Daten
  • Anaconda
    Ungenügende Daten
  • Ariston
    Ungenügende Daten
  • Avery Publishing Group
    Ungenügende Daten
  • Beck C.H.
    Ungenügende Daten

Leider haben wir für diese Kategorie aktuell noch nicht genügend Daten, um dir mehr Quoten anzuzeigen.

Rückgabequote

So oft wird ein Produkt dieser Marke in der Kategorie «Fachbücher» retourniert.

Quelle: Digitec Galaxus
  • 45.Macmillan
    1 %
  • 45.Pearson Studium
    1 %
  • 45.Springer
    1 %
  • 45.Various Publishers
    1 %
  • 51.Droemer Knaur
    1.1 %
Quelle: Digitec Galaxus