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.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "formal methods" wurden 702 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
APRESS (1)
Springer Berlin (352)
Springer Fachmedien Wiesbaden GmbH (1)
Springer International Publishing (294)
Springer London (7)
Springer Nature EN (4)
Springer Netherland (3)
Springer Singapore (4)
Springer US (34)
Springer Wien (2)
tredition (2)
TUM.University Press (1)
Produktart
Gebunden (34)
Kartoniert / Broschiert (669)
Kassette / Medienmix z.B. Audio und Buch (2)
Herausgeber
Abadi, Martín Lluch Lafuente, Alberto (1)
Abate, Alessandro Marin, Andrea (1)
Abate, Alessandro Safranek, David (1)
Abdallah, Ali E. Jones, Cliff B. Sanders, Jeff W. (1)
Abdelwahed, El Hassan Bellatreche, Ladjel Benslimane, Djamal Golfarelli, Matteo Jean, Stéphane Mery, Dominique Nakamatsu, Kazumi Ordonez, Carlos (1)
Abdelwahed, El Hassan Bellatreche, Ladjel Golfarelli, Mattéo Méry, Dominique Ordonez, Carlos (1)
Abdulla, Parosh Aziz Delporte-Gallet, Carole (1)
Abraham, Erika Havelund, Klaus (1)
Accorsi, Rafael Ranise, Silvio (1)
Aceto, Luca Damgaard, Ivan Goldberg, Leslie Ann Halldorsson, Magnus M. Ingolfsdottir, Anna Walukiewicz, Igor (1)
Aceto, Luca Henzinger, Monika Sgall, Jiri (1)
Aceto, Luca Ingólfsdóttir, Anna (1)
Agha, Gul Van Houdt, Benny (1)
Agotnes, Thomas Broersen, Jan M. Elgesem, Dag (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias (1)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch (1)
Ahrendt, Wolfgang Tapia Tarifa, Silvia Lizeth (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aichernig, Bernhard K. Maibaum, Tom (1)
Aiello, Marco Johnsen, Einar Broch Dustdar, Schahram Georgievski, Ilche (1)
Akshay, S. Niemetz, Aina Sankaranarayanan, Sriram (2)
Alagar, V.S. Lakshmanan, Laks V.S. Sadri, F. (1)
Albert, Elvira Sekerinski, Emil (1)
Aldini, Alessandro Bernardo, Marco Di Pierro, Alessandra Wiklicky, Herbert (1)
Aldini, Alessandro Gorrieri, Roberto (1)
Aldini, Alessandro Lopez, Javier Martinelli, Fabio (1)
Alferes, José Júlio Bailey, James May, Wolfgang Schwertel, Uta (1)
Altenkirch, Thorsten McBride, Conor (1)
Alur, Rajeev Peled, Doron A. (1)
Alves-Foss, Jim (1)
Amadio, Roberto (1)
Amine, Abdelmalek Bellatreche, Ladjel Elberrichi, Zakaria Neuhold, Erich J. Wrembel, Robert (2)
Anderson, Stuart Felici, Massimo Littlewood, Bev (1)
Apel, Sven Jackson, Ethan (1)
Araki, Keijiro Galloway, Andy Taguchi, Kenji (1)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion (1)
Arbab, Farhad Jongmans, Sung-Shik (1)
Artho, Cyrille Ölveczky, Peter Csaba (4)
Askoxylakis, Ioannis Ioannidis, Sotiris Katsikas, Sokratis Meadows, Catherine (2)
Astesiano, Egidio Kreowski, Hans-Jörg Krieg-Brückner, Bernd (1)
Atig, Mohamed Faouzi Bensalem, Saddek Bliudze, Simon Monsuez, Bruno (1)
Attali, Isabelle Jensen, Thomas (1)
Attiogbé, Christian Ferrarotti, Flavio Maabout, Sofian (1)
Audebaud, Philippe Paulin-Mohring, Christine (1)
Avgeriou, Paris Zdun, Uwe (1)
Avigad, Jeremy Mahboubi, Assia (1)
Baar, Thomas Strohmeier, Alfred Moreira, Ana (1)
Badger, Julia M. Rozier, Kristin Yvonne (2)
Bae, Kyungmin (1)
Bae, Kyungmin Ölveczky, Peter Csaba (1)
Baeten, Jos C.M. Ball, Tom de Boer, Frank S. (1)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus (1)
Baldoni, Matteo Müller, Jörg P. Nunes, Ingrid Zalila-Wenkstern, Rym (1)
Ball, Thomas Rajamani, Sriram K. (1)
Balsamo, Simonetta Marin, Andrea Vicario, Enrico (1)
Barbosa, Haniel Zohar, Yoni (1)
Baresi, Luciano Heckel, Reiko (1)
Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio (1)
Barthe, Gilles Gregoire, Benjamin Huisman, Marieke Lanet, Jean-Luis (1)
Barthe, Gilles Hermenegildo, Manuel (1)
Bartocci, Ezio Lio, Pietro Paoletti, Nicola (1)
Bastide, Rémi Palanque, Philippe Roth, Jörg (1)
Bauer, Lujo Küsters, Ralf (1)
Beckert, Bernhard Damiani, Ferruccio Gurov, Dilian (1)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H. (1)
Bellatreche, Ladjel Mota Pinto, Filipe (1)
Bellatreche, Ladjel Pastor, Óscar Almendros Jiménez, Jesús M. Aït-Ameur, Yamine (1)
Ben Hedia, Belgacem Chen, Yu-Fang Liu, Gaiyun Yu, Zhenhua (1)
Ben Hedia, Belgacem Ghazel, Mohamed Monsuez, Bruno (1)
Beyer, Dirk Huisman, Marieke (2)
Boehm, Barry Rombach, Hans Dieter Zelkowitz, Marvin V. (2)
Bologna, S. Bucci, G. (2)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (4)
Chaudhuri, Swarat Farzan, Azadeh (2)
Chockler, Hana Weissenbacher, Georg (2)
Dershowitz, Nachum Nissan, Ephraim (3)
Dillig, Isil Tasiran, Serdar (2)
Dong, Jing Paul, Raymond Zhang, Liang-Jie (2)
Duque-Méndez, Néstor Darío Aristizábal-Quintero, Luz Ángela Orozco-Alzate, Mauricio Aguilar, Jose (2)
Ermolayev, Vadim Mayr, Heinrich C. Nikitchenko, Mykola Spivakovsky, Aleksander Zholtkevych, Grygoriy (3)
Hardin, David S. (2)
Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger (2)
Kroening, Daniel Pasareanu, Corina S. (2)
Laurent, Anne Strauss, Olivier Bouchon-Meunier, Bernadette Yager, Ronald R. (3)
Lee, Roger Ishii, Naohiro (2)
Madeira, Alexandre Knapp, Alexander (2)
Margaria, Tiziana Steffen, Bernhard (15)
Martinelli, Fabio Rios, Ruben (2)
Michel, Petra Lauther, Ulrich Duzy, Peter (2)
Paige, Robert Reif, J.H. Wachter, Ralph (2)
Redmill, Felix Anderson, Tom (3)
Restifo Mullin, Lenore M. (2)
Robshaw, Matthew Katz, Jonathan (3)
Schmidt, Renate (2)
Shankaranarayanan, Krishna Sankaranarayanan, Sriram Trivedi, Ashutosh (2)
Silva, Alexandra Leino, K. Rustan M. (2)
Tonetta, Stefano Schoitsch, Erwin Bitsch, Friedemann (2)
Wang, Farn (2)
Winter, Victor L. Bhattacharya, Sourav (2)
Autor
Aman, Bogdan Ciobanu, Gabriel (2)
Andrews, Derek J. (1)
Banatre, Jean-Pierre Jones, Simon B. Le Metayer, Daniel (1)
Bernardi, Simona Merseguer, José Petriu, Dorina Corina (2)
Bidoit, Michel Mosses, Peter D. (1)
Bochman, Alexander (2)
Bowen, Jonathan P. Hinchey, Michael G. (1)
Burkart, Olaf (1)
Chang, Jui-Ming Pedram, Massoud (2)
Drechsler, Rolf Eggersglüß, Stephan Fey, Görschwin Tille, Daniel (2)
Girault, Claude Valk, Rüdiger (2)
Graham, Brian T. (2)
Hsieh, Harry Balarin, Felice Sangiovanni-Vincentelli, Alberto L. (2)
Hußmann, Heinrich (1)
Jones, C.B. Jones, K.D. Lindsay, Peter Moore, R.D. (1)
Jones, Robert B. (2)
Juan, Eric Y.T. Tsai, Jeffrey J.P. (2)
Kirli, Zeliha Dilsun (2)
Kourie, Derrick G. Watson, Bruce W. (2)
Lamprecht, Anna-Lena (1)
Lano, Kevin (2)
Liblit, Ben (1)
Matt (1)
Mueller, Silvia M. Paul, Wolfgang J. (2)
Muff, Fabian (2)
Müller, Peter (1)
Nissanke, Nimal (1)
Ouchani, Samir (1)
Poernomo, Iman Crossley, John N. Wirsing, Martin (2)
Schneider, Fred B. (2)
Schreiner, Wolfgang (2)
Shalini (1)
Smith, D.J. (1)
Thielscher, Michael (1)
Thompson, Haydn A. (1)
Turner, Raymond (1)
Wasilewska, Anita (1)
Wayne, Hillel (1)
Ying, Mingsheng (2)
Yuan, Jun Pixley, Carl Aziz, Adnan (2)
Zeume, Thomas (1)
Zhou, Chaochen Hansen, Michael R. (2)
Schlagworte
abstract interpretation (11)
abstraction (12)
access control (11)
algorithm (24)
algorithm analysis and problem complexity (18)
algorithms (77)
architecture (18)
architecture verification and validation (29)
artificial intelligence (110)
authentication (14)
automata (61)
automata theory (27)
bioinformatics (10)
calculus (28)
cloud computing (15)
communication (20)
complex systems (10)
complexity (35)
computational logic (13)
computer (14)
computer architecture (15)
computer hardware (9)
computer networks (11)
computer programming (34)
computer science (21)
computer software selection and evaluation (11)
computer systems (15)
concurrency (41)
concurrent systems (15)
constraint programming (9)
Coq (13)
cryptography (22)
cyber-physical systems (15)
data mining (21)
data security (28)
databases (13)
Debugging (10)
design (64)
development (45)
distributed computer systems (32)
distributed computing (18)
distributed systems (59)
embedded systems (93)
fault tolerance (12)
formal languages (37)
formal languages and automata theory (11)
formal logic (89)
formal method (83)
formal methods (705)
formal reasoning (13)
formal semantics (11)
formal specification (70)
formal verification (83)
formal verifications (24)
functional programming (12)
generic programming (12)
graph theory (23)
Hardware (13)
hybrid systems (13)
Java (27)
language (31)
logic (90)
logic and verification (10)
logic programming (18)
machine learning (22)
model checking (203)
modeling (82)
network security (10)
object (10)
object-oriented programming (16)
ontologies (10)
optimization (16)
Petri nets (12)
petri nets (11)
privacy (16)
problem solving (10)
program analysis (35)
program compilers (10)
program semantics (12)
program verification (10)
programming (22)
programming languages (35)
real-time systems (17)
reliability (11)
security (10)
semantics (37)
Simulation (16)
simulation (15)
software (18)
Software Engineering (27)
software engineering (49)
software verification (14)
specifications (11)
static analysis (10)
theorem proving (16)
UML (29)
Unified Modeling Language (UML) (39)
Variable (12)
verification (26)
XML (14)
Veröffentlicht
1990 (1)
1991 (1)
1992 (1)
1993 (2)
1994 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (2)
2000 (2)
2001 (2)
2002 (2)
2003 (3)
2004 (2)
2005 (3)
2006 (2)
2007 (2)
2008 (2)
2009 (2)
2010 (2)
2011 (3)
2012 (2)
2013 (2)
2014 (3)
2016 (2)
2018 (2)
2019 (2)
2024 (2)
2025 (2)
Sprache
Englisch (705)
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Engineering Trustworthy Software Systems
53,50 CHF*
In den Warenkorb
Formal Methods: Foundations and Applications
62,05 CHF*
In den Warenkorb
Formal Modeling and Verification of Cyber-Physical Systems
53,50 CHF*
In den Warenkorb
Transactions on Petri Nets and Other Models of Concurrency XI
53,50 CHF*
In den Warenkorb
New Trends in Model and Data Engineering
53,50 CHF*
In den Warenkorb
Principles of Security and Trust
53,50 CHF*
In den Warenkorb
Structured Object-Oriented Formal Language and Method
53,50 CHF*
In den Warenkorb
Runtime Verification
80,25 CHF*
In den Warenkorb
Principles of Security and Trust
53,50 CHF*
In den Warenkorb
Software Engineering and Formal Methods
53,50 CHF*
In den Warenkorb
Model and Data Engineering
53,50 CHF*
In den Warenkorb
Small Dynamic Complexity Classes
53,50 CHF*
In den Warenkorb
Model and Data Engineering
53,50 CHF*
In den Warenkorb
Trust, Privacy and Security in Digital Business
53,50 CHF*
In den Warenkorb
Computer Aided Verification
53,50 CHF*
In den Warenkorb
Tools and Algorithms for the Construction and Analysis of Systems
53,50 CHF*
In den Warenkorb
Computer Aided Verification
53,50 CHF*
In den Warenkorb
Formal Methods
96,30 CHF*
In den Warenkorb
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
62,05 CHF*
In den Warenkorb
Computer Aided Verification
53,50 CHF*
In den Warenkorb
Engineering Trustworthy Software Systems
62,05 CHF*
In den Warenkorb
Formal Methods Teaching
53,50 CHF*
In den Warenkorb
Verification and Evaluation of Computer and Communication Systems
53,50 CHF*
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
