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 specification" wurden 206 Produkte gefunden

Filter

Nur Neuerscheinungen

Springer Berlin (141)
Springer International Publishing (17)
Springer London (5)
Springer Netherland (8)
Springer US (35)

Gebunden (25)
Kartoniert / Broschiert (180)
Kassette / Medienmix z.B. Audio und Buch (1)

Abdallah, Ali E. Ryan, Peter Schneider, Steve (1)
Abramsky, S. Maibaum, T.S.E. (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Alves-Foss, Jim (1)
Amyot, Daniel Williams, Alan W. (1)
Arbab, Farhad Talcott, Carolyn (1)
Arnold, Andre (1)
Astesiano, Egidio (1)
Astesiano, Egidio Kreowski, Hans-Jörg Krieg-Brückner, Bernd (1)
Ball, Thomas Rajamani, Sriram K. (1)
Bauer, Lujo Küsters, Ralf (1)
Berardi, Stefano Damiani, Ferruccio de Liguoro, Ugo (1)
Berger, Christian Mousavi, Mohammad Reza Wisniewski, Rafael (1)
Bernardo, Marco Corradini, Flavio (1)
Bernardo, Marco Hillston, Jane (1)
Bernardo, Marco Inverardi, Paola (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bert, Didier Bowen, Jonathan P. King, Steve Waldén, Marina (1)
Bertran, Miquel Rus, Teodor (1)
Beyer, Dirk Huisman, Marieke (1)
Bicarregui, Juan C. (1)
Bidoit, Michel Kreowski, Hans-Jörg Lescanne, Pierre Orejas, Fernando Sannella, Donald (1)
Birtwistle, Graham Davis, Alan (1)
Blum, E.K. Paul, M. Takasu, S. (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bosnacki, Dragan Edelkamp, Stefan (1)
Bowen, J.P. Nicholls, J.E. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Bowen, Jonathan P. Hinchey, Michael G. Till, David (1)
Bowen, Jonathan P. Li, Qin Xu, Qiwen (1)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Bowman, Howard Derrick, John (1)
Brewka, Gerhard Jantke, Klaus P. Schmitt, Peter H. (1)
Brim, Lubos Haverkort, Boudewijn Leucker, Martin Pol, Jaco van de (1)
Broy, Manfred Merz, Stephan Spies, Katharina (1)
Börger, Egon Gargantini, Angelo Riccobene, Elvinia (1)
Cavalcanti, Ana Dams, Dennis (1)
Caviness, Bob F. (1)
Cerioli, Maura Reggio, Gianna (1)
Chechik, Marsha Wirsing, Martin (1)
Cimatti, Alessandro Sirjani, Marjan (1)
Clote, Peter G. Schwichtenberg, Helmut (1)
Cofer, Darren Fantechi, Alessandro (1)
Corradini, Andrea Ehrig, Hartmut Kreowski, Hans-Jörg Rozenberg, Grzegorz (1)
Davies, Jim Gibbons, Jeremy (1)
Davies, Jim Schulte, Wolfram Barnett, Mike (1)
Dean, C. Neville Boute, Raymond T. (1)
Degano, Pierpaolo Viganò, Luca (1)
Deransart, Pierre Lorho, Bernard Maluszynski, Jan (1)
Diaz, J. Ramos, I. (1)
Dimitrakos, Theo Martinelli, Fabio (2)
Duan, Zhenhua Liu, Shaoying Tian, Cong Nagoya, Fumiko (1)
Dubois, Jacques-Emile Gershon, Nahum (1)
Ehrig, Hartmut Damm, Werner Desel, Jörg Große-Rhode, Martin Reif, Wolfgang Schnieder, Eckehard Westkämper, Engelbert (1)
Eriksson, Lars-Henrik Lindsay, Peter A. (1)
Esik, Zoltan (1)
Evans, Andy Kent, Stuart Selic, Bran (1)
Fisher, Michael Sadri, Fariba Thielscher, Michael (1)
Fitzgerald, John Hayes, Ian J. (1)
Fitzgerald, John Jones, Cliff B. Lucas, Peter (1)
Frakes, William B. (1)
Frappier, Marc Habrias, Henri (1)
Futatsugi, Kokichi Mizoguchi, Fumio Yonezaki, Naoki (1)
Gabbar, Hossam A. (2)
Ganzinger, Harald McAllester, David Voronkov, Andrei (1)
Garavel, Hubert Hatcliff, John (1)
Gaudel, Marie-Claude Jouannaud, Jean-Pierre (1)
Geuvers, Herman Wiedijk, Freek (1)
Giorgini, Paolo Müller, Jörg Odell, James (1)
Godefroid, Patrick (1)
Goguen, Joseph A. Malcolm, Grant (2)
Gorrieri, Roberto Wehrheim, Heike (1)
Gotzhein, Reinhard Reed, Rick (1)
Graf, Susanne Mounier, Laurent (1)
Gries, David de Roever, Willem-Paul (2)
Grumberg, Orna Veith, Helmut (1)
Grundy, Jim Newey, Malcolm (1)
Hameurlain, Abdelkader Küng, Josef Wagner, Roland Schewe, Klaus-Dieter Bosa, Karoly (1)
Harper, David J. Norrie, Moira C. (1)
Hinchey, Michael G. Rash, James L. Truszkowski, Walter F. Rouff, Christopher Gordon-Spears, Diana (1)
Hirschfeld, Rafael (1)
Hu, Alan J. Martin, Andrew K. (1)
Hu, Zhenjiang (1)
Hunt, Warren A. Jr. Johnson, Steven D. (1)
Jacquart, Rene (2)
Johnson, Michael Vene, Varmo (1)
Jones, Cliff B. Shaw, Roger C. Denvir, Tim (1)
Julliand, Jacques Kouchnarenko, Olga (1)
Katsaros, Panagiotis Nenzi, Laura (1)
Kordon, Fabrice Lemoine, Michel (2)
Kowalewski, Stefan Roveri, Marco (1)
Paton, Norman W. (2)
Ramesh, S. Sampath, P. (2)
Rettberg, Achim Zanella, Mauro C. Rammig, Franz J. (2)
Terashima, Nobuyoshi Altman, Edward (2)
van Tilborg, André M. Koob, Gary M. (2)
Vytopil, Jan (2)
Wang, Farn (2)

Bidoit, Michel Mosses, Peter D. (1)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Brookes, S.D. Donner, M. Driscoll, J. Mauldin, M. Pausch, R. Scherlis, W.L. Shaw, Mary Spector, A.Z. (1)
Chen, Xiaoming Wang, Yu Yang, Huazhong (2)
Clavel, Manuel Durán, Francisco Eker, Steven Lincoln, Patrick Martí-Oliet, Narciso Meseguer, José Talcott, Carolyn (1)
Craig, Iain D. (2)
Dasgupta, Pallab (2)
Dijkstra, Edsger W. Scholten, Carel S. (1)
Feijs, Loe M.G. Jonkers, Hans B.M. Middelburg, Cornelis A. (1)
Fensel, Dieter (1)
Gallaire, Hervé Minker, Jack Nicolas, Jean Marie (1)
Graham, Brian T. (2)
Große-Rhode, Martin (2)
Guttag, John V. Horning, James J. (1)
Hooman, Jozef (1)
Horebeek, Ivo Van Lewi, Johan (1)
Hunt, Warren A. Jr. (1)
Hußmann, Heinrich (1)
Jacquet, Jean-Marie (1)
Janicki, Ryszard Lauer, Peter E. (1)
Jones, Robert B. (2)
Lano, Kevin (2)
Müller, Peter (1)
Nissanke, Nimal (1)
Pastor, Oscar Molina, Juan Carlos (2)
Peled, Doron A. (2)
Smith, Graeme (2)
van Ditmarsch, Hans van der Hoek, Wiebe Kooi, Barteld (2)
Wallace, C.S. (2)
Zhou, Chaochen Hansen, Michael R. (2)

1979 (1)
1981 (1)
1982 (1)
1984 (1)
1985 (1)
1987 (1)
1988 (1)
1989 (1)
1990 (1)
1991 (1)
1992 (1)
1993 (1)
1994 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2010 (3)

Englisch (206)

HOME

1
2
3
4
5

Formalization of Programming Concepts

Formalization of Programming Concepts

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

The Object-Z Specification Language

The Object-Z Specification Language

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Deductive Software Verification – The KeY Book

Deductive Software Verification – The KeY Book

128,39 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic Program Synthesis and Transformation

Logic Program Synthesis and Transformation

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

Formal Models of Operating System Kernels

Formal Models of Operating System Kernels

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Aspects in Security and Trust

Formal Aspects in Security and Trust

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Specification and Compositional Verification of Real-Time Systems

Specification and Compositional Verification of Real-Time Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Algebraic System Specification and Development

Algebraic System Specification and Development

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

FM8501: A Verified Microprocessor

FM8501: A Verified Microprocessor

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Specification and Verification of Concurrent Systems

Specification and Verification of Concurrent Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Dynamic Epistemic Logic

Dynamic Epistemic Logic

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Empirical Software Engineering and Verification

Empirical Software Engineering and Verification

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Embedded Systems

Embedded Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Integrated Formal Methods

Integrated Formal Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations and Applications of Security Analysis

Foundations and Applications of Security Analysis

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

62,05 €*

Preise inkl. MwSt. zzgl. Versandkosten

Modern Formal Methods and Applications

Modern Formal Methods and Applications

117,69 €*

Preise inkl. MwSt. zzgl. Versandkosten

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Modern Formal Methods and Applications

Modern Formal Methods and Applications

117,69 €*

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