Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Mein Konto
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Für Sie erreichbar unter:
+49 89 23 500 5 0
Mo-Fr. 08:30 - 17:00 Uhr
E-Mail: service@biazzamedien.de
Home
Digitale Tools
Service
Standorte
Team
Zur Kategorie Digitale Tools
Mein Bibliothekar
Meine Datenbanken
eBooks
Zur Kategorie Service
B2B
Schulen
Weiterbildungsinstitute
Privatkunden
Menü schließen
Service/Hilfe
Cookie-Einstellungen
Merkliste
Über uns
Kontakt
Widerrufsrecht
Datenschutz
AGB
Impressum
Merkzettel
Kategorien
Digitale Tools
Service
Standorte
Team
Zu "Formal Methods" wurden 200 Produkte gefunden
Filter
Filter
Verlag
Cuvillier Verlag (1)
Springer Berlin (94)
Springer International Publishing (80)
Springer London (13)
Springer Netherland (4)
Springer Singapore (4)
Springer US (4)
Verlag
Cuvillier Verlag (1)
Springer Berlin (94)
Springer International Publishing (80)
Springer London (13)
Springer Netherland (4)
Springer Singapore (4)
Springer US (4)
Produktart
Gebunden (43)
Kartoniert / Broschiert (155)
Kassette / Medienmix z.B. Audio und Buch (1)
Unbekannt (1)
Herausgeber
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)
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)
Fiadeiro, Jose L. (1)
Finance, Jean-Pierre (1)
Focardi, Riccardo Gorrieri, Roberto (1)
Foster, Simon Sampaio, Augusto (1)
Fricker, Samuel A. Schneider, Kurt (1)
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)
Leeuwen, Jan van Watanabe, Osamu Hagiya, Masami Mosses, Peter D. Ito, Takayasu (1)
Little, Murray R. Nigay, Laurence (1)
Liu, Shaoying (1)
Magnusson, Boris (1)
Marmsoler, Diego Sun, Meng (1)
Melham, Thomas F. Camilleri, Juanito (1)
Menendez, Hector D. Bello-Orgaz, Gema Barnard, Pepita Bautista, John Robert Farahi, Arya Dash, Santanu Han, DongGyun Fortz, Sophie Rodriguez-Fernandez, Victor (1)
Milne, George J. Pierre, Laurence (1)
Mosses, Peter D. Nielsen, Mogens Schwartzbach, Michael I. (1)
Möller, Bernhard Partsch, Helmut Schuman, Steve (1)
Naftalin, Maurice Denvir, Tim Bertran, Miquel (1)
Naumann, David (1)
Nielsen, Mogens Simpson, Dan (1)
Nivat, Maurice Rattray, Charles Rus, Teodor Scollo, Giuseppe (1)
Obana, Satoshi Chida, Koji (1)
Oliveira, Jose N. Zave, Pamela (1)
Pop, Florin Neagu, Gabriel (2)
Reussner, Ralf Goedicke, Michael Hasselbring, Wilhelm Vogel-Heuser, Birgit Keim, Jan Märtin, Lukas (2)
Schnieder, Eckehard Tarnai, Geza (2)
Wing, Jeannette M. Woodcook, Jim Davies, Jim (2)
Autor
Ahmed, Asad Hasan, Osman Awwad, Falah Bastaki, Nabil (1)
Almeida, José Bacelar Frade, Maria João Pinto, Jorge Sousa Melo de Sousa, Simão (1)
Amthor, Peter (1)
Aziz, Benjamin (1)
Belta, Calin Yordanov, Boyan Aydin Gol, Ebru (2)
Bjørner, Dines (4)
Bowman, Howard Gomez, Rodolfo (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 (2)
Schlagworte
Abstract Data Types (3)
Abstract Interpretation (4)
Abstract State Machines (8)
Access Control (3)
Agent Architectures (3)
Agent Systems (3)
Agent-Based Systems (4)
Algebraic Methods (5)
Algebraic Specification (5)
algorithm (6)
Algorithms (5)
algorithms (11)
Analysis (3)
Authentication (3)
automata (5)
Automated Theorem Proving (4)
Autonomous Systems (3)
BPMN (4)
Business Process Modeling (5)
Circuit Design (5)
Cloud Computing (3)
complexity (6)
Computer (4)
Computer Science Logic (7)
Computer-Aided Verification (6)
Concurrency (6)
Concurrency Theory (5)
Concurrent Programming (3)
Concurrent Systems (10)
Continuous Logic (3)
Correct-by-construction Design (4)
Cryptography (3)
CSP (3)
Cyber-Physical Systems (3)
Cyber-physical Systems (3)
Dependable Computing (4)
Dependable Systems (4)
design (13)
Discrete Mathematics (7)
Distributed Systems (11)
Domain Engineering (4)
Embedded Systems (8)
Erfüllbarkeitsproblem der Aussagenlogik (4)
formal method (9)
Formal Methods (200)
Formal Specification (21)
Formal Verification (21)
formal verification (4)
Formale Methoden (18)
Foundations of Programming (5)
Hardware (7)
Hardware Design (4)
Hybrid Systems (10)
Interactive Systems (4)
Java (7)
Logic (7)
logic (10)
Mathematical Logic (6)
Matrix Theory (4)
Model Checking (19)
model checking (4)
Modeling (4)
modeling (11)
Optimization (4)
Performance Analysis (6)
Petri Nets (8)
Process Algebras (6)
Process Validation (4)
Program Analysis (12)
Program Semantics (10)
Program Verification (6)
programming (6)
Programming Theory (7)
Reactive Systems (6)
Real-Time Systems (9)
Refinement (6)
Requirements Engineering (10)
Safety-Critical Systems (8)
Semantics (10)
semantics (4)
Simulation (6)
SoC (4)
Software Architecture (7)
Software Design (7)
Software Development (8)
Software Engineering (43)
Software Testing (8)
Software Validation (4)
Software Verification (11)
System (6)
System-on-Chip (4)
System-on-Chip Verification (4)
Systems Analysis (6)
Systems Design (8)
Systems Verification (4)
Testing (7)
Theorem Proving (4)
Unified Modeling Language (UML) (7)
Verification (14)
verification (6)
Erscheinungsdatum
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)
2011 (1)
2012 (1)
2015 (2)
2018 (2)
2024 (2)
2025 (2)
Sprache
Englisch (200)
1
2
3
4
5
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
The Unified Modeling Language. <<UML>>'98: Beyond the Notation
ISBN: 9783540662525
53,49 €*
In den Warenkorb
FME '93: Industrial-Strength Formal Methods
ISBN: 9783540566625
106,99 €*
In den Warenkorb
Aspect-oriented Security Engineering
ISBN: 9783736999800
59,90 €*
In den Warenkorb
Formal Methods for Nonmonotonic and Related Logics
ISBN: 9783319896496
106,99 €*
In den Warenkorb
Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 9783031121333
64,19 €*
In den Warenkorb
Discrete Mathematics Using a Computer
ISBN: 9781846282416
69,54 €*
In den Warenkorb
Modelling and Verification of Secure Exams
ISBN: 9783319671062
53,49 €*
In den Warenkorb
Rigorous Software Development
ISBN: 9780857290175
37,40 €*
In den Warenkorb
Behavioural Models
ISBN: 9783319831725
53,49 €*
In den Warenkorb
Domain Science and Engineering
ISBN: 9783030734831
181,89 €*
In den Warenkorb
Big Data Platforms and Applications
ISBN: 9783030388355
181,89 €*
In den Warenkorb
Understanding Programming Languages
ISBN: 9783030592592
53,49 €*
In den Warenkorb
Validation of Evolving Software
ISBN: 9783319382005
53,49 €*
In den Warenkorb
Formal Methods: State of the Art and New Directions
ISBN: 9781848827356
106,99 €*
In den Warenkorb
Risks and Security of Internet and Systems
ISBN: 9783319766867
53,49 €*
In den Warenkorb
Hagenberg Business Process Modelling Method
ISBN: 9783319808253
106,99 €*
In den Warenkorb
Formal Verification of Simulink/Stateflow Diagrams
ISBN: 9783319836386
123,04 €*
In den Warenkorb
Agile-SOFL
ISBN: 9789819722846
192,59 €*
In den Warenkorb
Runtime Verification
ISBN: 9783031092664
53,49 €*
In den Warenkorb
Formal Methods for Nonmonotonic and Related Logics
ISBN: 9783319896526
90,94 €*
In den Warenkorb
Formal Methods for the Analysis of Biomedical Ontologies
ISBN: 9783031121302
69,54 €*
In den Warenkorb
Requirements Engineering: Foundation for Software Quality
ISBN: 9783319161006
53,49 €*
In den Warenkorb
Application and Theory of Petri Nets and Concurrency
ISBN: 9783319390857
53,49 €*
In den Warenkorb
Estimation and Inference in Discrete Event Systems
ISBN: 9783030308230
149,79 €*
In den Warenkorb
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
