Ihre Suche nach "model checking" ergab 19 Treffer

Ansicht:
: Model Checking Software, Buch

Model Checking Software

Lecture Notes in Computer Science -Band 14624

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024. The 9 full papers,…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 54,75*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14499

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
: Verification, Model Checking, and Abstract Interpretation, Buch

Verification, Model Checking, and Abstract Interpretation

Lecture Notes in Computer Science -Band 14500

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in Londo…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Anton Wijs: Concise Guide to Software Verification, Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

Texts in Computer Science

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 63,99*
Joseph Kelly: Clown Motel (Blu-ray), BR
-50%

Clown Motel (Blu-ray)

Eine Gruppe von Geisterjägern und eine feierwütige Junggesellinnen-Gang treffen zufällig im abgelegenen »Clown Motel« aufeinander. Da sie in dem offenbar verlassenen Hotel niemand in Empfang nimmt, checke…

Artikel am Lager
EUR 9,99**
Blu-ray Disc
EUR 4,99*
Alexandra Joel: The Artist's Secret, Buch

Alexandra Joel
The Artist's Secret

The sweeping new saga of strong heroines and family secrets from the bestselling author of The Paris Model. While searching for her lost sister, art historian Wren Summers takes on the glittering world of…

lieferbar in mind. 4 Wochen
Buch
EUR 12,96*
The Rolling Stones: Black And Blue (Limited Japan SHM-CD), CD

The Rolling Stones
Black And Blue (Limited Japan SHM-CD)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

Artikel am Lager
EUR 18,99**
CD
 
EUR 17,99*
Jim Sullivan: U.F.O. (Blue Splatter Vinyl), LP

Jim Sullivan
U.F.O. (Blue Splatter Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
EUR 45,99*
Jim Sullivan: U.F.O. (remastered) (Colored Vinyl), LP

Jim Sullivan
U.F.O. (remastered) (Colored Vinyl)

Im März 1975 verschwand Jim Sullivan auf mysteriöse Weise außerhalb von Santa Rosa, New Mexico. Sein VW-Käfer wurde verlassen aufgefunden, sein Motelzimmer war unberührt. Manche glauben, er habe sich in d…

lieferbar innerhalb 1-2 Wochen
LP
EUR 43,99*
The Rolling Stones: Black And Blue (remastered) (180g) (Half Speed Master), LP

The Rolling Stones
Black And Blue (remastered) (180g) (Half Speed Master)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

umgehend lieferbar, Bestand beim Lieferanten vorhanden
LP
 
EUR 31,99*
The Rolling Stones: Black And Blue (2009 Remastered), CD

The Rolling Stones
Black And Blue (2009 Remastered)

1976 stieg »Black And Blue« auf Platz 1 der US Charts ein. Nachdem die Rolling Stones meherere Ersatzgitarristen für Mick Taylor unter die Lupe genommen hatten, unter anderen auch Wayne Perkins und Harvey…

Artikel am Lager
CD
 
EUR 14,99*
Jim Sullivan (Folk): If The Evening Were Dawn, CD
-47%

Jim Sullivan
If The Evening Were Dawn

Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

Artikel am Lager
EUR 18,99**
CD
 
EUR 9,99*
Jim Sullivan (Folk): If The Evening Were Dawn, LP

Jim Sullivan
If The Evening Were Dawn

Am 4. März 1975 verschwand Jim Sullivan auf mysteriöse Weise bei Santa Rosa in New Mexico. Sein VW-Käfer wurden verlassen gefunden, sein Motelzimmer wirkte unberührt. Einige denken, dass er sich verirrt h…

lieferbar innerhalb 2-3 Wochen
LP
 
EUR 20,99*
Drew McDowall: Agalma, LP

Drew McDowall
Agalma

Product Information Veteran NYC based Scottish electronic musician Drew McDowall's latest work is his loftiest, most liturgical, and least industrial outing to date - and potentially the apex of his rec…

lieferbar innerhalb 1-2 Wochen
LP
EUR 26,99*
Rolf Drechsler: Design für Testbarkeit, Fehlersuche und Zuverlässigkeit, Buch

Rolf Drechsler, Sebastian Huhn
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

In diesem Buch werden mehrere neue Ansätze vorgestellt, die den Weg für die nächste Generation integrierter Schaltungen ebnen, die auch in sicherheitskritischen Anwendungen erfolgreich und zuverlässig int…

sofort lieferbar
Buch
EUR 109,99*
Jan Friso Groote: Understanding Behaviour of Distributed Systems Using mCRL2, Buch

Jan Friso Groote, Muhammad Atif
Understanding Behaviour of Distributed Systems Using mCRL2

Studies in Systems, Decision and Control -Band 458

This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in part…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
: Application and Theory of Petri Nets and Concurrency, Buch

Application and Theory of Petri Nets and Concurrency

Lecture Notes in Computer Science -Band 14628

This book constitutes the proceedings of the 45th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2024, held in Geneva, Switzerland, during June 26-28, 2024. …

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: CyberSecurity in a DevOps Environment, Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 197,13*
: The Combined Power of Research, Education, and Dissemination, Buch

The Combined Power of Research, Education, and Dissemination

Lecture Notes in Computer Science -Band 15240

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed faithful to her love of organized management of composable f…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.