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

Filter

Nur Neuerscheinungen

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

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

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)
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)
Milne, George J. Pierre, Laurence (1)
Pop, Florin Neagu, Gabriel (2)
Reussner, Ralf Goedicke, Michael Hasselbring, Wilhelm Vogel-Heuser, Birgit Keim, Jan Märtin, Lukas (2)
Rümmer, Philipp Wu, Zhilin (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 (218)

HOME

1
2
3
4
5

Rigorous Software Development

Rigorous Software Development

37,40 €*

Preise inkl. MwSt. zzgl. Versandkosten

Development of Safety-Critical Systems

Development of Safety-Critical Systems

74,89 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computational Methods in Systems Biology

Computational Methods in Systems Biology

64,19 €*

Preise inkl. MwSt. zzgl. Versandkosten

Model-Driven Design Using IEC 61499

Model-Driven Design Using IEC 61499

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods for Discrete-Time Dynamical Systems

Formal Methods for Discrete-Time Dynamical Systems

181,89 €*

Preise inkl. MwSt. zzgl. Versandkosten

FME '93: Industrial-Strength Formal Methods

FME '93: Industrial-Strength Formal Methods

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods for the Analysis of Biomedical Ontologies

Formal Methods for the Analysis of Biomedical Ontologies

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Interactive Markov Chains

Interactive Markov Chains

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

ESEC '91

ESEC '91

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Requirements Engineering: Foundation for Software Quality

Requirements Engineering: Foundation for Software Quality

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Behavioural Models

Behavioural Models

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Hybrid Systems III

Hybrid Systems III

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Safety, Reliability and Security

Computer Safety, Reliability and Security

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Conceptual Structures: Broadening the Base

Conceptual Structures: Broadening the Base

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Big Data Platforms and Applications

Big Data Platforms and Applications

181,89 €*

Preise inkl. MwSt. zzgl. Versandkosten

Quality-Driven SystemC Design

Quality-Driven SystemC Design

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Development of a Network-Centric RTOS

Formal Development of a Network-Centric RTOS

117,69 €*

Preise inkl. MwSt. zzgl. Versandkosten

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Program Development

Formal Program Development

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Handbook of Requirements and Business Analysis

Handbook of Requirements and Business Analysis

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

Mathematics in Computing

Mathematics in Computing

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

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