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...
SFr. 30.90
Buch
SFr. 49.90
Buch
SFr. 21.90
Buch
SFr. 23.50
Buch
SFr. 18.90
Buch
SFr. 28.50
Buch
SFr. 11.90
Buch
SFr. 73.00
Buch
Zurück zur letzten Ansicht
AGB
|
Datenschutzerklärung
|
Mein Konto
|
Impressum
|
Partnerprogramm
Newsletter
|
Newsfeed
|
Facebook
 |
Twitter
Forbidden Planet AG © 1999-2024
Alle Angaben ohne Gewähr
HOME
FILME
HEIM & GARTEN
MUSIK
PC &
GAMES
LIFESTYLE
BÜCHER
>> MEHR
SPARTEN
CBD
eDAMPFEN
HEADSHOP
MIETEN
OCCASIONEN
SHISHA
SPIRITUOSEN
EROTIK
WARENKORB
Weitere Tipps:
Hauptseite
Architektur, Archäologie, Kunst
Comics
EDV / Informatik
Geschichte / Politik / Kultur
Hobby
Hörbürcher
Kalender, Agenden
Karten (Landkarten)
Lexika / Nachschlagewerke
Musik
Naturwissenschaften, Medizin, Technik
Philosophie
Psychologie / Pädagogik
Ratgeber
Reisebücher, Bildbände
Religion
Romane, Erzählungen, Gedichte
Schulbücher
Soziologie
Sprache
Wirtschaft / Recht
0
Warenkorb ansehen
SUCHEN
Alle Sprachen
Deutsch
Englisch
Spanisch
Französisch
Kategorien
Im Sortiment stöbern
Genres
Hörbücher
Aktionen
Infos
Mein Konto
Newsletter
Warenkorb
Meine Wunschliste
Kundenservice
Recherchedienst
Fragen / AGB / Kontakt
Partnerprogramm
Impressum
© by Forbidden Planet AG 1999-2024