Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

Mein Bibliothekar

INFORMATIONEN

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN

Zu "model checking" wurden 590 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Springer Berlin (302)
Springer International Publishing (262)
Springer Netherland (4)
Springer Singapore (5)
Springer US (15)
tredition (1)
Vieweg & Teubner (1)

Gebunden (20)
Kartoniert / Broschiert (568)
Kassette / Medienmix z.B. Audio und Buch (1)
Unbekannt (1)

Aalst, Wil van der Best, Eike (1)
Abadi, Martin Ito, Takayasu (1)
Abadi, Martín de Alfaro, Luca (1)
Abate, Alessandro Geeraerts, Gilles (1)
Abate, Alessandro Marin, Andrea (1)
Abdallah, Ali E. Jones, Cliff B. Sanders, Jeff W. (1)
Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos (1)
Abraham, Erika Havelund, Klaus (1)
Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu (1)
Agha, Gul Igarashi, Atsushi Kobayashi, Naoki Masuhara, Hidehiko Matsuoka, Satoshi Shibayama, Etsuya Taura, Kenjiro (1)
Agha, Gul Van Houdt, Benny (1)
Ahmed, Amal (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Ahrendt, Wolfgang Wehrheim, Heike (1)
Aichernig, Bernhard K. de Boer, Frank S. Bonsangue, Marcello M. (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Ait Ameur, Yamine Bellatreche, Ladjel Papadopoulos, George A. (1)
Ait-Ameur, Yamine Qin, Shengchao (1)
Albert, Elvira Sekerinski, Emil (1)
Aldini, Alessandro Bernardo, Marco Bononi, Luciano Cortellessa, Vittorio (1)
Aldini, Alessandro Bernardo, Marco Di Pierro, Alessandra Wiklicky, Herbert (1)
Alexander, Michael D'Ambra, Pasqua Belloum, Adam Bosilca, George Cannataro, Mario Danelutto, Marco Di Martino, Beniamino Gerndt, Michael Jeannot, Emmanuel Namyst, Raymond Roman, Jean Scott, Stephen L. Traff, Jesper Larsson Vallee, Geoffroy Weidendorfer, Josef (2)
Alfaro, Luca de Gilmore, Stephen (1)
Amyot, Daniel Fonseca i Casas, Pau Mussbacher, Gunter (1)
Andrade Cetto, Juan Ferrier, Jean-Louis Pereira, José Miguel Costa Dias Filipe, Joaquim (2)
André, Étienne Stoelinga, Mariëlle (1)
Aoki, Toshiaki Taguchi, Kenji (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Arbab, Farhad Sirjani, Marjan (3)
Areces, Carlos Costa, Diana (1)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Artho, Cyrille Ölveczky, Peter Csaba (4)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno (1)
Atig, Mohamed Faouzi Schwarzmann, Alexander A. (1)
Attiogbé, Christian Ferrarotti, Flavio Maabout, Sofian (1)
Avigad, Jeremy Mahboubi, Assia (1)
Backes, Michael Ning, Peng (1)
Badger, Julia M. Rozier, Kristin Yvonne (2)
Baeten, Jos C.M. Groote, Jan F. (1)
Baeten, Jos C.M. Lenstra, Jan Karel Parrow, Joachim Woeginger, Gerhard J. (1)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Baldan, Paolo (1)
Baldoni, Matteo Dastani, Mehdi Liao, Beishui Sakurai, Yuko Zalila Wenkstern, Rym (1)
Ball, Thomas Jones, Robert B. (1)
Ball, Thomas Rajamani, Sriram K. (1)
Balsamo, Simonetta Marin, Andrea Vicario, Enrico (1)
Banieqbal, Behnam Barringer, Howard Pnueli, Amir (1)
Barbosa, Haniel Zohar, Yoni (1)
Barner, Sharon Harris, Ian Kroening, Daniel Raz, Orna (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Barrett, Clark Waldmann, Uwe (2)
Barthe, Gilles (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Barthe, Gilles Pardo, Alberto Schneider, Gerardo (1)
Bartocci, Ezio Cleaveland, Rance Grosu, Radu Sokolsky, Oleg (1)
Bartocci, Ezio Lio, Pietro Paoletti, Nicola (1)
Beckert, Bernhard Damiani, Ferruccio de Boer, Frank S. Bonsangue, Marcello M. (1)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian (1)
Beckert, Bernhard Hähnle, Reiner (1)
Bensalem, Saddek Lakhnech, Yassine Legay, Axel (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Berghammer, R. Möller, Bernhard Struth, Georg (1)
Bernardinello, Luca Petrucci, Laure (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Damiani, Ferruccio Haehnle, Reiner Johnsen, Einar Broch Schaefer, Ina (1)
Bernardo, Marco Johnsen, Einar Broch (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Biere, Armin Parker, David (2)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Camarinha-Matos, Luis M. Shahamatnia, Ehsan Nunes, Gonçalo (2)
Chaudhuri, Swarat Farzan, Azadeh (2)
Cousot, Radhia (2)
Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules (2)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (2)
Dillig, Isil Tasiran, Serdar (2)
Drechsler, Rolf (2)
Droste, Manfred Kuich, Werner Vogler, Heiko (2)
Enea, Constantin Lal, Akash (3)
Groote, Jan Friso Larsen, Kim Guldstrand (2)
Götz, Marcelo Schirner, Gunar Wehrmeister, Marco Aurélio Al Faruque, Mohammad Abdullah Rettberg, Achim (2)
Jacobs, Bart Rensink, Arend (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Legay, Axel Margaria, Tiziana (2)
Liu, Chunfeng Chang, Jincai Yang, Aimin (2)
Margaria, Tiziana Steffen, Bernhard (11)
Murgante, Beniamino Misra, Sanjay Carlini, Maurizio Torre, Carmelo Maria Nguyen, Hong-Quang Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (2)
Murgante, Beniamino Misra, Sanjay Carlini, Maurizio Torre, Carmelo Nguyen, Hong-Quang Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (3)
Murgante, Beniamino Misra, Sanjay Rocha, Ana Maria Alves Coutinho Torre, Carmelo Rocha, Jorge Gustavo Falcão, Maria Irene Taniar, David Apduhan, Bernady O. Gervasi, Osvaldo (6)
Navarro, Gonzalo Bertossi, Leopoldo Kohayakawa, Yoshiharu (2)
Peltier, Nicolas Sofronie-Stokkermans, Viorica (2)
Podelski, Andreas (2)
Schirner, Gunar Götz, Marcelo Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Steffen, Bernhard (2)
Vojnar, Tomáš Zhang, Lijun (2)
Wang, Farn (2)
Wehrmeister, Marco A. Kreutz, Márcio Götz, Marcelo Henkler, Stefan Pimentel, Andy D. Rettberg, Achim (2)

Agostinelli, Simone (1)
Burkart, Olaf (1)
Börger, Egon Stärk, Robert (2)
Esparza, Javier Heljanko, Keijo (2)
Fokkink, Wan (2)
Girault, Claude Valk, Rüdiger (2)
Herde, Christian (1)
Lamprecht, Anna-Lena (1)
Liu, Guanjun (2)
Manna, Zohar Pnueli, Amir (2)
McIver, Annabelle Morgan, Charles Carroll (2)
McMillan, Kenneth L. (1)
Quintarelli, Elisa (1)
Schreiner, Wolfgang (2)
Shalini (1)
Stirling, Colin (2)

Englisch (590)

HOME

1
2
3
4
5

Vorderes Coverbild Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Runtime Verification

Runtime Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computational Methods in Systems Biology

Computational Methods in Systems Biology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computer Aided Verification

Computer Aided Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Compositionality: The Significant Difference

Compositionality: The Significant Difference

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Aspects of Component Software

Formal Aspects of Component Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Graph Transformation

Graph Transformation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction - CADE-21

Automated Deduction - CADE-21

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Engineering Secure Software and Systems

Engineering Secure Software and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

96,29 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

51,36 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Handbook of Weighted Automata

Handbook of Weighted Automata

246,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Rapid Integration of Software Engineering Techniques

Rapid Integration of Software Engineering Techniques

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild FME '94: Industrial Benefit of Formal Methods

FME '94: Industrial Benefit of Formal Methods

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Testing Software and Systems

Testing Software and Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild FM 2016: Formal Methods

FM 2016: Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild CONCUR'97: Concurrency Theory

CONCUR'97: Concurrency Theory

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4
5

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...