SFr. 69.00
€ 74.52
BTC 0.0012
LTC 1.05
ETH 0.0277


bestellen

Artikel-Nr. 32776650


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:


Herausgeber: 
  • Ana Sokolova
  • Alfons Laarman
  • Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings 
     

    (Buch)
    Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 2 Artikel!


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  August 2021  
    Genre:  EDV / Informatik 
    ISBN:  9783030846282 
    EAN-Code: 
    9783030846282 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Dimensionen:  H 235 mm / B 155 mm / D 12 mm 
    Gewicht:  324 gr 
    Seiten:  208 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021. The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

      
     Empfehlungen... 
     Model Checking Software: 25th International Sympos - (Buch)
     Model Checking Software: 23rd International Sympos - (Buch)
     Model Checking Software: 10th International SPIN W - (Buch)
     Model Checking Software: 19th International SPIN W - (Buch)
     Model Checking Software: 26th International Sympos - (Buch)
     Model Checking Software: 28th International Sympos - (Buch)
     Model Checking Software: 18th International SPIN W - (Buch)
     Model Checking Software: 15th International SPIN W - (Buch)
     Model Checking Software: 16th International SPIN W - (Buch)
     Model Checking Software: 20th International Sympos - (Buch)
     Weitersuchen in   DVD/FILME   CDS   GAMES   BÜCHERN   



    Wird aktuell angeschaut...
     

    Zurück zur letzten Ansicht


    AGB | Datenschutzerklärung | Mein Konto | Impressum | Partnerprogramm
    Newsletter | 1Advd.ch RSS News-Feed Newsfeed | 1Advd.ch Facebook-Page Facebook | 1Advd.ch Twitter-Page Twitter
    Forbidden Planet AG © 1999-2024
    Alle Angaben ohne Gewähr
     
    SUCHEN

     
     Kategorien
    Im Sortiment stöbern
    Genres
    Hörbücher
    Aktionen
     Infos
    Mein Konto
    Warenkorb
    Meine Wunschliste
     Kundenservice
    Recherchedienst
    Fragen / AGB / Kontakt
    Partnerprogramm
    Impressum
    © by Forbidden Planet AG 1999-2024