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

Fr CHF

€ EUR

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen

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 method" wurden 269 Produkte gefunden

Filter

Nur Neuerscheinungen

FAU University Press (1)
Springer Berlin (158)
Springer International Publishing (2)
Springer London (8)
Springer Netherland (21)
Springer Singapore (1)
Springer US (75)
Springer Wien (3)

Gebunden (58)
Kartoniert / Broschiert (210)
Kassette / Medienmix z.B. Audio und Buch (1)

Aalst, Wil van der Best, Eike (1)
Abdallah, Ali E. Jones, Cliff B. Sanders, Jeff W. (1)
Abramsky, S. Maibaum, T.S.E. (1)
Abrial, Jean-Raymond Börger, Egon Langmaack, Hans (1)
Aldini, Alessandro Gorrieri, Roberto Martinelli, Fabio (1)
Alur, Rajeev (1)
Alur, Rajeev Pappas, George (1)
Arbab, Farhad Sirjani, Marjan (1)
Arun-Kumar, S. Garg, Naveen (1)
Arvind, V. Prasad, Sanjiva (1)
Astesiano, Egidio (1)
Attali, Isabelle Jensen, Thomas (2)
Bakker, J.W.de Roever, W.-P.de Rozenberg, G. (1)
Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio (1)
Barthe, Gilles (1)
Barthe, Gilles Burdy, Lilian Huisman, Marieke Lanet, Jean-Louis Muntean, Traian (1)
Berghammer, Rudolf Jaoua, Ali Möller, Bernhard (1)
Berghammer, Rudolf Lakhnech, Yassine (1)
Berghammer, Rudolf Möller, Bernhard Struth, Georg (1)
Bernardo, Marco Cimatti, Alessandro (1)
Bernardo, Marco Corradini, Flavio (1)
Bernardo, Marco Hillston, Jane (1)
Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi (1)
Bertran, Miquel Rus, Teodor (1)
Bi, Yuanguo Chen, Gang Deng, Qingxu Wang, Yi (1)
Bibel, Wolfgang Schmitt, P.H. (2)
Bjørner, Dines Broy, Manfred Pottosin, Igor V. (1)
Bjørner, Dines Hoare, C.A.R. Langmaack, Hans (1)
Boiten, Eerke Derrick, John Smith, Graeme (1)
Bolognesi, Tommaso Latella, Diego (2)
Bowen, J.P. Nicholls, J.E. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Bravetti, Mario Kloul, Leila Zavattaro, Gianluigi (1)
Bravetti, Mario Núñez, Manuel Zavattaro, Gianluigi (1)
Broy, Manfred Gruenbauer, Johannes Harel, David Hoare, Tony (2)
Bruni, Roberto Wolf, Karsten (1)
Burn, Geoffrey Gay, Simon Ryan, Mark (1)
Butler, Michael Jones, Cliff B. Romanovsky, Alexander Troubitsyna, Elena (1)
Butler, Michael Petre, Luigia Sere, Kaisa (1)
Butler, Michael Schewe, Klaus-Dieter Mashkoor, Atif Biro, Miklos (1)
Cai, Jin-Yi Cooper, Barry S. Li, Angsheng (1)
Calder, Muffy Gilmore, Stephen (1)
Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark D. (1)
Catthoor, Francky Svensson, Lars-Gunnar (2)
Cavalcanti, Ana Sampaio, Augusto Woodcock, Jim (1)
Chountas, Panagiotis Petrounias, Ilias (2)
Colburn, Timothy T.R. Fetzer, J.H. Rankin, R.L. (2)
Craigen, Dan (1)
Cristian, Flaviu LeLann, Gerard Lunt, Teresa (1)
Cuellar, Jorge Maibaum, Tom (1)
Cugini, Umberto Wozny, Michael (2)
Damm, Werner Hermanns, Holger (1)
Dams, Dennis Gerth, Robert Leue, Stefan Massinek, Mieke (1)
Daniel, Peter (1)
Davies, Jim Gibbons, Jeremy (1)
de Boer, Frank S. Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (3)
Dean, C. Neville Boute, Raymond T. (1)
Delgado Kloos, Carlos Breuer, P. (2)
Dershowitz, Nachum Voronkov, Andrei (1)
Didier, Bert (1)
Diks, Krzystof Rytter, Wojciech (1)
Doherty, Gavin Blandford, Ann (1)
Dosch, Walter Lee, Roger Y. Wu, Chisu (1)
Dumas, Marlon Heckel, Reiko (1)
Ehrenberger, Wolfgang (1)
Eliassen, Frank Montresor, Alberto (1)
Eriksson, Lars-Henrik Lindsay, Peter A. (1)
Etiemble, Daniel Syre, Jean-Claude (1)
Eymann, Torsten Klügl, Franziska Lamersdorf, Winfried Klusch, Matthias Huhns, Michael N. (1)
Felici, Massimo Kanoun, Karama Pasquini, Alberto (1)
Fiadeiro, José Luiz Mosses, Peter Orejas, Fernando (1)
Fiadeiro, José Luiz Schobbens, Pierre-Yves (1)
Finance, Jean-Pierre (1)
Fitzgerald, John Hayes, Ian J. (1)
Gabbar, Hossam A. (2)
Grimm, Christoph (2)
Gudes, Ehud Shenoi, Sujeet (2)
Gupta, Rajesh Le Guernic, Paul Shukla, Sandeep Kumar Talpin, Jean-Pierre (2)
Guttman, Joshua D. Wand, Mitchell (2)
Hantao Zhang (2)
Jacob, Robert J.K. Limbourg, Quentin Vanderdonckt, Jean (2)
Jacobs, Bart Rensink, Arend (2)
Jacquart, Rene (2)
Kleinjohann, Bernd Kim, K.H. (Kane) Kleinjohann, Lisa Rettberg, Achim (2)
Kordon, Fabrice Lemoine, Michel (2)
Kurshan, Robert (2)
Lee, Roger (2)
Lee, Roger Ishii, Naohiro (2)
Marwedel, Peter Goossens, Gert (2)
Michel, Petra Lauther, Ulrich Duzy, Peter (2)
Palanque, Philippe Johnson, Chris (2)
Ramesh, S. Sampath, P. (2)
Redmill, Felix Anderson, Tom (3)
Riitahuhta, Asko (2)
Riitahuhta, Asko Sudweeks, Fay (2)
Taylor, Brian J. (2)
Vanderveken, Daniel (2)
Vermesan, Anca Coenen, Frans (2)
Vytopil, Jan (3)
Winter, Victor L. Bhattacharya, Sourav (2)

Andrews, Derek J. (1)
Bella, Giampaolo (2)
Bertot, Yves Castéran, Pierre (2)
Bessonet, Guy (2)
Bhushan, Navneet Rai, Kanwal (2)
Bjørner, Dines (2)
Bradley, Aaron R. Manna, Zohar (2)
Chang, Jui-Ming Pedram, Massoud (2)
Dasgupta, Pallab (2)
Fitzgerald, John Larsen, Peter Gorm Mukherjee, Paul Plat, Nico Verhoef, Marcel (2)
Gergely, Tamas Ury, Laszlo (2)
Girault, Claude Valk, Rüdiger (2)
Graham, Brian T. (2)
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L. (2)
Jones, Robert B. (2)
Juan, Eric Y.T. Tsai, Jeffrey J.P. (2)
Kirli, Zeliha Dilsun (2)
Mueller, Silvia M. Paul, Wolfgang J. (2)
O'Regan, Gerard (2)
Ohlebusch, Enno (2)
Paterno, Fabio (1)
Peled, Doron A. (2)
Poernomo, Iman Crossley, John N. Wirsing, Martin (2)
Sagdeo, Vivek (2)
Stirling, Colin (2)
Tabbara, Bassam Tabbara, Abdallah Sangiovanni-Vincentelli, Alberto L. (2)
Tang, Yiheng (1)
Thompson, Haydn A. (1)
Unger, Claus Bass, Leonard J. (1)
Yuan, Jun Pixley, Carl Aziz, Adnan (2)

1982 (1)
1987 (1)
1988 (1)
1990 (1)
1991 (1)
1992 (1)
1993 (1)
1994 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (2)
2001 (1)
2002 (2)
2004 (2)
2005 (2)
2006 (2)
2007 (2)
2010 (5)
2011 (2)
2012 (2)
2013 (2)

Englisch (269)

HOME

1
2
3
4
5

Strategic Decision Making

Strategic Decision Making

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Practical Elements of Safety

Practical Elements of Safety

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Strategic Decision Making

Strategic Decision Making

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Intelligent Techniques and Tools for Novel System Architectures

Intelligent Techniques and Tools for Novel System Architectures

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

117,69 €*

Preise inkl. MwSt. zzgl. Versandkosten

Petri Nets for Systems Engineering

Petri Nets for Systems Engineering

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Architecture

Computer Architecture

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic, Thought and Action

Logic, Thought and Action

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic, Thought and Action

Logic, Thought and Action

318,86 €*

Preise inkl. MwSt. zzgl. Versandkosten

Z User Workshop, York 1991

Z User Workshop, York 1991

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Compositional Verification of Concurrent and Real-Time Systems

Compositional Verification of Concurrent and Real-Time Systems

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Object Orientation in Z

Object Orientation in Z

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Multiagent System Technologies

Multiagent System Technologies

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Modal and Temporal Properties of Processes

Modal and Temporal Properties of Processes

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Constraint-Based Verification

Constraint-Based Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Design Computing and Cognition '06

Design Computing and Cognition '06

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Mathematical Induction

Automated Mathematical Induction

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Dependable Computing for Critical Applications 4

Dependable Computing for Critical Applications 4

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Software Engineering Research, Management and Applications 2009

Software Engineering Research, Management and Applications 2009

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