SFr. 69.00
€ 74.52


bestellen

Artikel-Nr. 18675395


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:


Herausgeber: 
  • K. Rustan M. Leino
  • Barbara Jobstmann
  • Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Pr 
     

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


    Übersicht

    Auf mobile öffnen
     
    Lieferstatus:   i.d.R. innert 5-10 Tagen versandfertig
    Veröffentlichung:  Dezember 2015  
    Genre:  EDV / Informatik 
     
    CloudComputing / Compiler und Übersetzer / complexity / Concurrency / constraint-basedreasoning / distributedsystems / EDV / Theorie / Programmieren / Allgemeines / formalverification
    ISBN:  9783662491218 
    EAN-Code: 
    9783662491218 
    Verlag:  Springer 
    Einband:  Kartoniert  
    Sprache:  English  
    Serie:  #9583 - Lecture Notes in Computer Science
    Theoretical Computer Science and General Issues  
    Dimensionen:  H 235 mm / B 155 mm / D 31 mm 
    Gewicht:  855 gr 
    Seiten:  572 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    Abstract Interpretation.- Abstraction.- Hybrid and Timed Systems.- Dynamic and Static Verification.- Probabilistic Systems.- Concurrent Programs.- Parameterized and Component-Based Systems.- Solver Improvements.

      



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