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 "Formal Verification" wurden 67 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Logos Berlin (1)
Springer Berlin (33)
Springer Fachmedien Wiesbaden GmbH (2)
Springer International Publishing (21)
Springer Singapore (1)
Springer US (8)
tredition (1)

Gebunden (11)
Kartoniert / Broschiert (56)

Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Altenkirch, Thorsten Naraschewski, Wolfgang Reus, Bernhard (1)
Bertot, Yves Dowek, Gilles Hirschowitz, Andre Paulin, Christine Thery, Laurent (1)
Bowen, Jonathan P. Dunne, Steve Galloway, Andy King, Steve (1)
Brim, Lubos Jancar, Petr Kretinsky, Mojmir Kucera, Antonin (1)
Broy, Manfred Jähnichen, Stefan (1)
Broy, Manfred Merz, Stephan Spies, Katharina (1)
C. Nogueira, Sidney Teodorov, Ciprian (1)
Callaghan, Paul Luo, Zhaohui McKinna, James Pollack, Robert (1)
Chaves, Madalena Martins, Manuel A. (1)
Ciancarini, Paolo Wooldridge, Michael (1)
Codognet, Philippe (1)
Coquand, Thierry Dybjer, Peter Nordström, Bengt Smith, Jan (1)
Dyckhoff, Roy (1)
Egly, Uwe Fernmüller, Christian G. (1)
Ferreira, Carla Mezzina, Claudio Antares (1)
Ganzinger, Harald (1)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill (1)
Gunter, Elsa L. Felty, Amy (1)
Gurevich, Yuri Kutter, Philipp W. Odersky, Martin Thiele, Lothar (1)
Hardin, David S. (2)
Havelund, Klaus Penix, John Visser, Willem (1)
Hermanns, Holger Segala, Roberto (1)
Hermenegildo, Manuel Puebla, German (1)
Hutter, Dieter Stephan, Werner Traverso, Paolo Ullmann, Markus (1)
Jeong, Young-Sik Park, Young-Ho Hsu, Ching-Hsien (Robert) Park, James J. (Jong Hyuk) (2)
Jeuring, Johan (1)
Johnsen, Einar Broch Schaefer, Ina (1)
Katoen, Jost-Pieter (1)
Kirchner, Claude Kirchner, Helene (1)
Kirchner, Helene (1)
Kirchner, Helene Ringeissen, Christophe (1)
Majumder, Mukta Zaman, J. K. M. Sadique Uz Ghosh, Mili Chakraborty, Samarjit (1)
Majumder, Mukta Zaman, J.K.M Sadique Uz Ghosh, Mili Chakraborty, Samarjit (1)
Mandal, Jyotsna Kumar Bhattacharya, Kallol Majumdar, Ivy Mandal, Surajit (1)
Rash, James L. Rouff, Christopher A. Truszkowski, Walter Gordon, Diana Hinchey, Michael G. (1)
Ravn, Anders P. Rischel, Hans (1)
Reis, André Inácio Drechsler, Rolf (2)
Richter-Gebert, Jürgen Wang, Dongming (1)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Soeken, Mathias Drechsler, Rolf (1)

Aziz, Benjamin (1)
Brickenstein, Michael (1)
Bîrjoveanu, Catalin V. Bîrjoveanu, Mirela (1)
Herdt, Vladimir (1)
Naviya (1)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus (1)
Ray, Sandip (2)
Schnieber, Martha (1)
Singh, Gaurav Shukla, Sandeep Kumar (2)
Sinha, Roopak Roop, Parthasarathi Basu, Samik (2)
Soeken, Mathias Drechsler, Rolf (2)
Yoong, Li Hsien Roop, Partha S. Bhatti, Zeeshan E. Kuo, Matthew M. Y. (2)
Zhan, Naijun Wang, Shuling Zhao, Hengjun (2)
Zhou, Chaochen Hansen, Michael R. (2)

1995 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2010 (1)
2013 (1)
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2018 (1)
2019 (1)
2020 (1)
2021 (1)
2022 (1)
2023 (1)
2024 (1)
2025 (1)

Englisch (67)

HOME

1
2
3

Vorderes Coverbild Molecular Logic and Computational Synthetic Biology

Molecular Logic and Computational Synthetic Biology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Ubiquitous Information Technologies and Applications

Ubiquitous Information Technologies and Applications

353,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Specification Level

Formal Specification Level

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Methods for Real-Time and Probabilistic Systems

Formal Methods for Real-Time and Probabilistic Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Abstract State Machines - Theory and Applications

Abstract State Machines - Theory and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Polynomial Formal Verification of Approximate Functions

Polynomial Formal Verification of Approximate Functions

117,69 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Analysis by Abstract Interpretation

Formal Analysis by Abstract Interpretation

64,19 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Verification of Simulink/Stateflow Diagrams

Formal Verification of Simulink/Stateflow Diagrams

123,04 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction in Geometry

Automated Deduction in Geometry

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Software Engineering and Formal Methods

Software Engineering and Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Isabelle/HOL

Isabelle/HOL

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild CONCUR 2002 - Concurrency Theory

CONCUR 2002 - Concurrency Theory

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Advanced Logic Synthesis

Advanced Logic Synthesis

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Approaches to Agent-Based Systems

Formal Approaches to Agent-Based Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Integrated Formal Methods

Integrated Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Ubiquitous Information Technologies and Applications

Ubiquitous Information Technologies and Applications

353,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Correct-by-Construction Approaches for SoC Design

Correct-by-Construction Approaches for SoC Design

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Duration Calculus

Duration Calculus

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Information, Photonics and Communication

Information, Photonics and Communication

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Systems Specification

Formal Systems Specification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Mathematics of Program Construction

Mathematics of Program Construction

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3

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 ...