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 Methods" wurden 221 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Springer Berlin (94)
Springer International Publishing (100)
Springer London (15)
Springer Netherland (4)
Springer Singapore (4)
Springer US (4)

Gebunden (44)
Kartoniert / Broschiert (168)
Kassette / Medienmix z.B. Audio und Buch (1)
Unbekannt (8)

Aagaard, Mark D. O'Leary, John W. (1)
Aagaard, Mark Harrison, John (1)
Agrawal, Manindra Seth, Anil (1)
Ait Wakrime, Abderrahim Navarro-Arribas, Guillermo Cuppens, Frédéric Cuppens, Nora Benaini, Redouane (1)
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Alagar, V.S. Nivat, Maurice (1)
Alpuente, María (1)
Alur, Rajeev Henzinger, Thomas A. Sontag, Eduardo D. (1)
Anderson, Stuart Bologna, Sandro Felici, Massimo (1)
Arceri, Vincenzo Cortesi, Agostino Ferrara, Pietro Olliaro, Martina (2)
Backhouse, Roland Crole, Roy Gibbons, Jeremy (1)
Backhouse, Roland Nuno Oliveira, Jose (1)
Bert, Didier Choppy, Christine Mosses, Peter (1)
Bezivin, Jean Muller, Pierre-Alain (1)
Bird, Richard S. Morgan, C.Carroll Woodcock, James C.P. (1)
Blackwell, Clive Zhu, Hong (2)
Blieberger, Johann Strohmeier, Alfred (1)
Boca, Paul Bowen, Jonathan P. Siddiqi, Jawed (2)
Bojanczyk, Mikolai Lasota, Slawomir Potapov, Igor (1)
Bowen, Jonathan P. Dunne, Steve Galloway, Andy King, Steve (1)
Bowen, Jonathan P. Fett, Andreas Hinchey, Michael G. (1)
Bozzano, Marco Papadopoulos, Yiannis (1)
Bradfield, Julian (1)
Brinksma, Ed Hermanns, Holger Katoen, Joost-Pieter (1)
Callaghan, Paul Luo, Zhaohui McKinna, James Pollack, Robert (1)
Camurati, Paolo Enrico Eveking, Hans (1)
Castiglioni, Valentina Francalanza, Adrian (1)
Cavalcanti, Ana Dongol, Brijesh Hierons, Rob Timmis, Jon Woodcock, Jim (2)
Ceška, Milan Šafránek, David (1)
Cha, Sungdeok Taylor, Richard N. Kang, Kyochul (1)
Chikhi, Salim Amine, Abdelmalek Chaoui, Allaoua Saidouni, Djamel Eddine (1)
Chikhi, Salim Amine, Abdelmalek Chaoui, Allaoua Saidouni, Djamel Eddine Kholladi, Mohamed Khireddine (1)
Chikhi, Salim Diaz-Descalzo, Gregorio Amine, Abdelmalek Chaoui, Allaoua Saidouni, Djamel Eddine Kholladi, Mohamed Khireddine (1)
Chockler, Hana Kroening, Daniel Mariani, Leonardo Sharygina, Natasha (2)
Cleaveland, W. Rance (1)
Collart-Dutilleul, Simon (1)
Collart-Dutilleul, Simon Ouchani, Samir Cuppens, Nora Cuppens, Frédéric (1)
Coquand, Thierry Dybjer, Peter Nordström, Bengt Smith, Jan (1)
Cortadella, Jordi Yakovlev, Alex Rozenberg, Grzegorz (1)
Cortesi, Agostino (1)
Cuppens, Nora Cuppens, Frédéric Lanet, Jean-Louis Legay, Axel Garcia-Alfaro, Joaquin (1)
Dang Van, Hung George, Chris Janowski, Tomasz Moore, Richard (1)
Davidson, Jack Min, Sang Lyul (1)
Delugach, Harry S. Stumme, Gerd (1)
Didier, Bert (1)
Dill, David L. (1)
Dwyer, Matthew (1)
Ehrenberger, Wolfgang (1)
Emerson, E. Allen Sistla, A. Prasad (1)
Ernst, Gidon Güdemann, Matthias Knapp, Alexander Nafz, Florian Ortmeier, Frank Ponsar, Hella Schellhorn, Gerhard Schiendorfer, Alexander (1)
Fiadeiro, Jose L. (1)
Finance, Jean-Pierre (1)
Focardi, Riccardo Gorrieri, Roberto (1)
Foster, Simon Sampaio, Augusto (1)
Fricker, Samuel A. Schneider, Kurt (1)
Fränzle, Martin Niehaus, Jürgen Westphal, Bernd (2)
Gaudel, Marie-Claude Woodcock, James (1)
George, Chris Miao, Huaikou (1)
Graf, Susanne Pettersson, Paul Steffen, Bernhard (1)
Grieskamp, Wolfgang Santen, Thomas Stoddart, Bill (1)
Gurevich, Yuri Kutter, Philipp W. Odersky, Martin Thiele, Lothar (1)
Hatcliff, John Mogensen, Torben Thiemann, Peter (1)
Havelund, Klaus Penix, John Visser, Willem (1)
Haveraaen, Magne Owe, Olaf Dahl, Ole-Johan (1)
Heinrich, Robert Durán, Francisco Talcott, Carolyn Zschaler, Steffen (2)
Hermenegildo, Manuel Puebla, German (1)
Hinchey, Mike Steffen, Bernhard (1)
Hutter, Dieter Stephan, Werner Traverso, Paolo Ullmann, Markus (1)
Jansen, Nils Junges, Sebastian Kaminski, Benjamin Lucien Matheja, Christoph Noll, Thomas Quatmann, Tim Stoelinga, Mariëlle Volk, Matthias (3)
Jezequel, Jean-Marc Hussman, Heinrich Cook, Stephen (1)
Johnson, Chris J. (1)
Jonsson, Bengt Parrow, Joachim (1)
Katoen, Joost-Pieter Stevens, Perdita (1)
Katoen, Jost-Pieter (1)
Kirchner, Helene Ringeissen, Christophe (1)
Klein, Rolf Six, Hans-Werner Wegner, Lutz (1)
Koornneef, Floor Meulen, Meine van der (1)
Kordon, Fabrice Moldt, Daniel (1)
Kutsche, Ralf-Detlef Weber, Herbert (1)
Lahlou, Salem Mukund, Madhavan (2)
Lamsweerde, Axel van Fuggetta, Alfonso (1)
Lanese, Ivan Madelaine, Eric (1)
Langmaack, Hans Roever, Willem-Paul de Vytopil, Jan (1)
Larsen, Kim Guldstrand Sokolsky, Oleg Wang, Ji (1)
Lee, Edward A. Mousavi, Mohammad Reza Talcott, Carolyn (1)
Leeuwen, Jan van Watanabe, Osamu Hagiya, Masami Mosses, Peter D. Ito, Takayasu (1)
Leuschel, Michael Ishikawa, Fuyuki (2)
Little, Murray R. Nigay, Laurence (1)
Liu, Shaoying (1)
Magnusson, Boris (1)
Marmsoler, Diego Sun, Meng (1)
Melham, Thomas F. Camilleri, Juanito (1)
Menéndez, Héctor D. Bello-Orgaz, Gema Barnard, Pepita Bautista, John Robert Farahi, Arya Dash, Santanu Han, DongGyun Fortz, Sophie Rodriguez-Fernandez, Victor (1)
Mezzina, Claudio Antares Schmitt, Alan (2)
Pop, Florin Neagu, Gabriel (2)
Remke, Anne Steffen, Bernhard (2)
Reussner, Ralf Goedicke, Michael Hasselbring, Wilhelm Vogel-Heuser, Birgit Keim, Jan Märtin, Lukas (2)
Schnieder, Eckehard Tarnai, Geza (2)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Wing, Jeannette M. Woodcook, Jim Davies, Jim (2)

Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil (1)
Almeida, José Bacelar Frade, Maria João Pinto, Jorge Sousa Melo de Sousa, Simão (3)
Aziz, Benjamin (1)
Belta, Calin Yordanov, Boyan Aydin Gol, Ebru (2)
Bjørner, Dines (4)
Bowman, Howard Gomez, Rodolfo (2)
Bruel, Jean-Michel Ebersold, Sophie Naumcheva, Mariya (2)
Colombo, Christian Pace, Gordon J. (1)
Cooke, D. John (1)
Derrick, John Boiten, Eerke A. (2)
d’Inverno, Mark Luck, Michael (2)
Fey, Görschwin Drechsler, Rolf (2)
Fiadeiro, Jose Luiz (2)
Garriga, Gemma C (2)
Giustolisi, Rosario (2)
Große, Daniel Drechsler, Rolf (2)
Hadjicostis, Christoforos N. (2)
Hermanns, Holger (1)
Jensen, Kurt Kristensen, Lars M. (2)
Jones, Cliff B. (2)
Karmakar, Gopinath Wakankar, Amol Kabra, Ashutosh Pandya, Paritosh (1)
Kossak, Felix Illibauer, Christa Geist, Verena Kubovy, Jan Natschläger, Christine Ziebermayr, Thomas Kopetzky, Theodorich Freudenthaler, Bernhard Schewe, Klaus-Dieter (2)
Kossak, Felix Illibauer, Christa Geist, Verena Natschläger, Christine Ziebermayr, Thomas Freudenthaler, Bernhard Kopetzky, Theodorich Schewe, Klaus-Dieter (2)
Kunze, Matthias Weske, Mathias (2)
Liu, Shaoying (1)
Meyer, Bertrand (1)
Nielson, Flemming Riis Nielson, Hanne (1)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus (1)
O'Donnell, John Hall, Cordelia Page, Rex (1)
O'Regan, Gerard (7)
O’Regan, Gerard (3)
Roggenbach, Markus Cerone, Antonio Schlingloff, Bernd-Holger Schneider, Gerardo Shaikh, Siraj Ahmed (2)
Schlechta, Karl (3)
Schumann, Johann M. (2)
Sinha, Roopak Roop, Parthasarathi Basu, Samik (2)
Verhulst, Eric Boute, Raymond T. Faria, José Miguel Sampaio Sputh, Bernhard H.C. Mezhuyev, Vitaliy (2)
Yoong, Li Hsien Roop, Partha S. Bhatti, Zeeshan E. Kuo, Matthew M. Y. (2)
Zhan, Naijun Wang, Shuling Zhao, Hengjun (2)
Zhang, Guo-Qiang Abeysinghe, Rashmie Cui, Licong (4)

1991 (1)
1992 (1)
1993 (2)
1994 (1)
1995 (1)
1996 (1)
1998 (1)
1999 (2)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2008 (1)
2009 (1)
2010 (1)
2015 (2)
2018 (2)
2024 (2)
2025 (2)

Englisch (221)

HOME

1
2
3
4
5

Vorderes Coverbild Formal Aspects of Component Software

Formal Aspects of Component Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild ZUM '98: The Z Formal Specification Notation

ZUM '98: The Z Formal Specification Notation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computer Science in Perspective

Computer Science in Perspective

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Unifying Theories of Programming

Unifying Theories of Programming

42,80 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Interactive Systems. Design, Specification, and Verification

Interactive Systems. Design, Specification, and Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Validation of Evolving Software

Validation of Evolving Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Advances in Information and Computer Security

Advances in Information and Computer Security

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 Application and Theory of Petri Nets 2000

Application and Theory of Petri Nets 2000

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Validation of Evolving Software

Validation of Evolving Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Dependable Software Engineering. Theories, Tools, and Applications

Dependable Software Engineering. Theories, Tools, and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Program Development

Formal Program Development

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Languages, Compilers, and Tools for Embedded Systems

Languages, Compilers, and Tools for Embedded Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Runtime Verification

Runtime Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

53,49 €*

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 Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

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 Correct Hardware Design and Verification Methods

Correct Hardware Design and Verification Methods

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

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Introduction to Software Quality

Introduction to Software Quality

48,14 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Interactive Systems: Design, Specification, and Verification

Interactive Systems: Design, Specification, and Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Mathematics of Program Construction

Mathematics of Program Construction

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