SFr. 81.00
€ 87.48
BTC 0.0015
LTC 1.381
ETH 0.0273


bestellen

Artikel-Nr. 26838707


Diesen Artikel in meine
Wunschliste
Diesen Artikel
weiterempfehlen
Diesen Preis
beobachten

Weitersagen:


Herausgeber: 
  • Tiago Massoni
  • Mohammad Reza Mousavi
  • Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26¿30, 2018, 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:  Oktober 2018  
    Genre:  EDV / Informatik 
     
    Algorithm Analysis and Problem Complexity / Algorithms / Algorithms & data structures / C / Compilers & interpreters / Compilers and Interpreters / Computer architecture & logic design / Computer logic / Computer programming / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Programming & scripting languages# general / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Programming Techniques / Software Engineering
    ISBN:  9783030030438 
    EAN-Code: 
    9783030030438 
    Verlag:  Springer International Publishing 
    Einband:  Kartoniert  
    Sprache:  English  
    Serie:  #11254 - Lecture Notes in Computer Science
    Programming and Software Engineering  
    Dimensionen:  H 235 mm / B 155 mm / D 16 mm 
    Gewicht:  435 gr 
    Seiten:  284 
    Zus. Info:  Paperback 
    Bewertung: Titel bewerten / Meinung schreiben
    Inhalt:
    Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
      
     Empfehlungen... 
     Synchronous Equivalence: Formal Methods for Embedd - (Buch)
     Z: An Introduction to Formal Methods - (Buch)
     Designing Reliable Distributed Systems: A Formal M - (Buch)
     FM 2016: Formal Methods - 21st International Sympo - (Buch)
     Software Engineering and Formal Methods: 17th Inte - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Formal Methods: Industrial Use from Model to the C - (Buch)
     Leveraging Applications of Formal Methods, Verific - (Buch)
     Formal Methods and Software Engineering: 19th Inte - (Buch)
     Formal Methods for Open Object-Based Distributed S - (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 LiteCoin bestellen!