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

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "formal verification" wurden 263 Produkte gefunden

Filter

Nur Neuerscheinungen

BoD – Books on Demand – Frankreich (1)
Springer Berlin (154)
Springer International Publishing (57)
Springer London (3)
Springer Netherland (12)
Springer US (34)
Springer Wien (1)
Vieweg & Teubner (1)

Gebunden (29)
Kartoniert / Broschiert (232)
Kassette / Medienmix z.B. Audio und Buch (2)

Aagaard, Mark Harrison, John (1)
Abadi, Martín Kremer, Steve (1)
Abdallah, Ali E. Ryan, Peter Schneider, Steve (1)
Aceto, Luca Henzinger, Monika Sgall, Jiri (1)
Aceto, Luca Ingólfsdóttir, Anna (1)
Adorni, Giovanni Cagnoni, Stefano Gori, Marco Maratea, Marco (1)
Agha, Gul Danvy, Olivier Meseguer, José (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Altenkirch, Thorsten McBride, Conor (1)
Alur, Rajeev Peled, Doron A. (1)
Amadio, Roberto Lugiez, Denis (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Ashenden, Peter J. Mermet, Jean Seepold, Ralf (2)
Attali, Isabelle Jensen, Thomas (1)
Baader, Franz (2)
Baader, Franz Voronkov, Andrei (1)
Baaz, Matthias Voronkov, Andrei (1)
Badger, Julia M. Rozier, Kristin Yvonne (1)
Bakker, Jaco W. de Roever, Willem-Paul de Rozenberg, Grzegorz (1)
Baldoni, Matteo Dennis, Louise Mascardi, Viviana Vasconcelos, Wamberto (1)
Ball, Thomas Rajamani, Sriram K. (1)
Banda, Maria Garcia Pontelli, Enrico (1)
Barbosa, Haniel Zohar, Yoni (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Basin, David Mitchell, John C. (1)
Beckert, Bernhard Marché, Claude (1)
Ben Hedia, Belgacem Chen, Yu-Fang Liu, Gaiyun Yu, Zhenhua (1)
Berghammer, Rudolf Lakhnech, Yassine (1)
Berghofer, Stefan Nipkow, Tobias Urban, Christian Wenzel, Makarius (1)
Bernardo, Marco Inverardi, Paola (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bertacco, Valeria Legay, Axel (1)
Bertran, Miquel Rus, Teodor (1)
Beyersdorff, Olaf Wintersteiger, Christoph M. (1)
Birtwistle, Graham Subrahmanyam, P.A. (1)
Bloem, Roderick Arbel, Eli (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Boer, Frank S.de Bonsangue, Marcello Graf, Susanne de Roever, Willem-Paul (1)
Bosnacki, Dragan Edelkamp, Stefan (1)
Bosnacki, Dragan Leue, Stefan (1)
Boulton, Richard J. Jackson, Paul B. (1)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Bowles, Juliana Broccia, Giovanna Nanni, Mirco (1)
Brat, Guillaume Rungta, Neha Venet, Arnaud (1)
Braz, José Araújo, Helder Vieira, Alves Encarnação, Bruno (2)
Brijder, Robert Qian, Lulu (1)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de (1)
Brinksma, Ed Larsen, Kim G. (1)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Brugali, Davide Broenink, Jan Kroeger, Torsten MacDonald, Bruce (1)
Butler, Michael Hinchey, Michael G. Larrondo-Petrie, Maria M. (1)
Butler, Michael Schulte, Wolfram (1)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia (1)
Caires, Luís Vasconcelos, Vasco T. (1)
Calmet, Jacques Plaza, Jan (1)
Caltais, Georgiana Schilling, Christian (1)
Carreno, Victor A. Munoz, Cesar A. Tahar, Sofiene (1)
Cassez, Franck Jard, Claude (1)
Cassez, Franck Raskin, Jean-Francois (1)
Chakraborty, Supratik Navas, Jorge A. (1)
Cialdea Mayer, Marta Pirri, Fiora (1)
Cimatti, Alessandro Titolo, Laura (1)
Clarke, Edmund M. Kurshan, Robert P. (1)
Clote, Peter G. Schwichtenberg, Helmut (1)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Colom, Jose-Manuel Koutny, Maciej (1)
Conejo, Ricardo Urretavizcaya, Maite Pérez-de-la-Cruz, José-Luis (1)
Cousot, Radhia (1)
Cremers, Cas Lehmann, Anja (1)
Cuellar, Jorge (1)
D'Souza, Deepak Lal, Akash Larsen, Kim Guldstrand (1)
Dahl, Verónica Niemelä, Ilkka (1)
Damm, Werner Olderog, Ernst-Rüdiger (1)
Dams, Dennis Gerth, Robert Leue, Stefan Massinek, Mieke (1)
De Nicola, Rocco Kühn, Eva (1)
Desel, Jörg Reisig, Wolfgang Rozenberg, Grzegorz (1)
Drechsler, Rolf (2)
Duan, Zhenhua Liu, Shaoying Tian, Cong Nagoya, Fumiko (1)
Dumas, Marlon Heckel, Reiko (1)
Dutle, Aaron Humphrey, Laura Titolo, Laura (1)
Dutle, Aaron Muñoz, César Narkawicz, Anthony (1)
Ehrig, Hartmut Damm, Werner Desel, Jörg Große-Rhode, Martin Reif, Wolfgang Schnieder, Eckehard Westkämper, Engelbert (1)
Filipe, Joaquim Maciaszek, Leszek A. (1)
Filliatre, Jean-Christophe Paulin-Mohring, Christine Werner, Benjamin (1)
Finkbeiner, Bernd Kovács, Laura (3)
Finkbeiner, Bernd Pu, Geguang Zhang, Lijun (1)
Fitzgerald, John Hayes, Ian J. (1)
Fitzgerald, John Jones, Cliff B. Lucas, Peter (1)
Gabbrielli, Maurizio Gupta, Gopal (1)
Garcia-Alfaro, Joaquin Lafourcade, Pascal (1)
Gaudin, Emmanuel Najm, Élie Reed, Rick (1)
Gurfinkel, Arie Heule, Marijn (3)
Margaria, Tiziana Steffen, Bernhard (2)
Mermet, Jean (4)
Rettberg, Achim Zanella, Mauro C. Amann, Michael Keckeisen, Michael Rammig, Franz J. (2)
Rouff, Christopher (2)
Schirner, Gunar Götz, Marcelo Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Steffen, Bernhard (2)

Bening, Lionel Foster, Harry D. (3)
Bergeron, Janick Cerny, Eduard Hunter, Alan Nightingale, Andy (2)
Bertacco, Valeria (2)
Chang, Kai-hui Markov, Igor L. Bertacco, Valeria (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Dasgupta, Pallab (2)
Drechsler, Rolf (2)
Fey, Görschwin Drechsler, Rolf (2)
Fokkink, Wan (2)
Hachtel, Gary D. Somenzi, Fabio (2)
Herde, Christian (1)
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L. (2)
Jones, Robert B. (2)
Juan, Eric Y.T. Tsai, Jeffrey J.P. (2)
Kobeissi, Nadim (1)
Kunz, Wolfgang Stoffel, Dominik (2)
Radecka, Katarzyna Zilic, Zeljko (2)
Russinoff, David M. (3)
Staunstrup, Jørgen (2)
Stirling, Colin (2)
Walter, Marcel Wille, Robert Sill Torres, Frank Drechsler, Rolf (2)

1990 (1)
1991 (1)
1992 (1)
1993 (1)
1994 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (2)
2007 (3)
2010 (2)
2016 (2)
2024 (2)
2025 (3)

Englisch (263)

HOME

1
2
3
4
5

Quantitative Evaluation of Systems

Quantitative Evaluation of Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Frontiers in Algorithmics

Frontiers in Algorithmics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model-Based Safety and Assessment

Model-Based Safety and Assessment

51,36 €*

Preise inkl. MwSt. zzgl. Versandkosten

Interactive Theorem Proving

Interactive Theorem Proving

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Certified Programs and Proofs

Certified Programs and Proofs

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Modelling Distributed Systems

Modelling Distributed Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Symbolic Simulation Methods for Industrial Formal Verification

Symbolic Simulation Methods for Industrial Formal Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Static Analysis

Static Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Prospects for Hardware Foundations

Prospects for Hardware Foundations

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

NASA Formal Methods

NASA Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Principles of Verifiable RTL Design

Principles of Verifiable RTL Design

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Security Standardisation Research

Security Standardisation Research

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Modeling: Actors; Open Systems, Biological Systems

Formal Modeling: Actors; Open Systems, Biological Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model Checking Software

Model Checking Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

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

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

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