SFr. 69.00
€ 74.52
BTC 0.0012
LTC 0.912
ETH 0.023


bestellen

Artikel-Nr. 26838923


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:


Herausgeber: 
  • Bernhard Steffen
  • Tiziana Margaria
  • Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus 
     

    (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:  Oktober 2018  
    Genre:  EDV / Informatik 
    ISBN:  9783030034269 
    EAN-Code: 
    9783030034269 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Serie:  #11247 - Lecture Notes in Computer Science
    Theoretical Computer Science and General Issues  
    Dimensionen:  H 235 mm / B 155 mm / D 30 mm 
    Gewicht:  814 gr 
    Seiten:  544 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. 

    The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
    Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
    Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
    Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
    Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day. 


      
     Empfehlungen... 
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Leveraging Applications of Formal Methods, Verific - (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
    Jetzt auch mit BitCoin bestellen!