0
EUR
00,00*
Warenkorb EUR 00,00 *
Filter
    Erweiterte Suche
    Konto anlegen
    1. Startseite

    2. Model Checking – Bücher, LPs, CDs und mehr

    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. (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*
    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*
    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, 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*
    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*
    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.
    © jpc-Schallplatten-Versandhandelsgesellschaft mbH