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 "logic and verification" wurden 25 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Springer Berlin (1)
Springer International Publishing (24)
Produktart
Kartoniert / Broschiert (25)
Herausgeber
Andreoni, Martin (2)
Badger, Julia M. Rozier, Kristin Yvonne (1)
Barrett, Clark Davies, Misty Kahsai, Temesghen (1)
Biere, Armin Bloem, Roderick (1)
Bikakis, Antonis Fodor, Paul Roman, Dumitru (1)
Blanchette, Jasmin Christian Merz, Stephan (1)
Bowles, Juliana Søndergaard, Harald (1)
Canal, Carlos Idani, Akram (1)
Cassez, Franck Raskin, Jean-Francois (1)
Colinet, Margot Katrenko, Sophia Rendsvig, Rasmus K. (1)
Counsell, Steve Núñez, Manuel (1)
D'Souza, Deepak Narayan Kumar, K. (1)
Enea, Constantin Piskac, Ruzica (1)
Fages, François Piazza, Carla (1)
Ferrando, Angelo Cardoso, Rafael C. (1)
Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf (1)
Guttman, Joshua D. Landwehr, Carl E. Meseguer, José Pavlovic, Dusko (1)
Hierons, Robert Mark Mosbah, Mohamed (1)
Hofman, Piotrek Skrzypczak, Michal (1)
Merz, Stephan Pang, Jun (1)
Skarmeta, Antonio Canavese, Daniele Lioy, Antonio Matheu, Sara (1)
ter Beek, Maurice H. Gnesi, Stefania Knapp, Alexander (1)
Tibouchi, Mehdi Wang, XiaoFeng (2)
Schlagworte
abstract interpretation (1)
abstraction (1)
access control (4)
algorithm analysis and problem complexity (1)
application of formal methods (1)
applied computing (2)
artificial ingelligence (1)
artificial intelligence (2)
association rules (1)
authentication (5)
automata theory (3)
automated reasoning (3)
automated static analysis (3)
behavioral type theory (2)
bioinformatics (1)
biological processes (1)
business rules (1)
completeness (1)
complex systems (3)
computational biology (1)
computational ecology (1)
computer algebra (1)
computer architecture (2)
computer crime (1)
computer networks (1)
computing methodologies (1)
concurrency (2)
concurrernt systems (1)
context free languages (1)
control methods (1)
correctness (1)
cryptanalysis and other attacks (4)
cryptographic protocols (1)
cryptography (1)
data privacy (1)
databases (1)
Decision procedures (1)
decision support systems (1)
declarative programming (1)
denial-of-service attacks (1)
digital libraries and archives (1)
distributed systems (1)
dynamic analysis (2)
enterprise computing (1)
equivalence checking (1)
fault tree analysis (1)
finite automata (1)
firewalls (1)
first-order logic (1)
FLOSS (1)
formal approaches to software testing (1)
formal languages (1)
formal languages and automata theory (1)
formal methods (10)
formal methods and theory of security (2)
formal methods in biology and healthcare (1)
formal requirements (1)
formal security models (7)
formal software verification (1)
formal verification (2)
formalized mathematics (1)
Fourier transform (1)
Gaussian processes (1)
grammars and context-free languages (1)
graph transformation (1)
hardware verification and validation (1)
health informatics (1)
higher order logic (1)
Hoare logic (1)
hoare logic (1)
hybrid systems (1)
image processing (1)
information security (1)
information systems applications (1)
intrusion detection systems (1)
intrusion/anomaly detection and malware mitigation (4)
Isabelle/HOL (1)
key management (5)
knowledge management (2)
knowledge representation and reasoning (2)
logic (2)
logic and verification (25)
modal and temporal logics (2)
modal logic (2)
model checking (10)
multi-agent systems (2)
open source software (2)
OSS (1)
Petri nets (1)
privacy-preserving protocol (4)
program constructs (2)
programming languages (2)
public key techniques (4)
security and privacy (2)
semantics and reasoning (2)
software verification (2)
software verification and validation (2)
symmetric cryptography (2)
symmetric cryptography and hash functions (2)
verification by model checking (2)
Veröffentlicht
2014 (1)
2015 (1)
2016 (1)
2017 (1)
2019 (1)
2023 (1)
2024 (1)
Sprache
Englisch (25)
Verification, Model Checking, and Abstract Interpretation
53,50 CHF*
In den Warenkorb
Foundations of Security, Protocols, and Equational Reasoning
53,50 CHF*
In den Warenkorb
NASA Formal Methods
70,60 CHF*
In den Warenkorb
Theoretical Aspects of Computing – ICTAC 2019
53,50 CHF*
In den Warenkorb
Intelligent Computer Mathematics
53,50 CHF*
In den Warenkorb
Software Engineering and Formal Methods
53,50 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Pristine Perspectives on Logic, Language and Computation
51,35 CHF*
In den Warenkorb
NASA Formal Methods
53,50 CHF*
In den Warenkorb
Interactive Theorem Proving
53,50 CHF*
In den Warenkorb
Critical Systems: Formal Methods and Automated Verification
53,50 CHF*
In den Warenkorb
Digital Sovereignty in Cyber Security: New Challenges in Future Vision
69,55 CHF*
In den Warenkorb
Formal Methods in Macro-Biology
51,35 CHF*
In den Warenkorb
Software Engineering and Formal Methods
53,50 CHF*
In den Warenkorb
Automated Technology for Verification and Analysis
53,50 CHF*
In den Warenkorb
Formal Methods and Software Engineering
53,50 CHF*
In den Warenkorb
Computer Aided Verification
107,00 CHF*
In den Warenkorb
Rules on the Web: From Theory to Applications
53,50 CHF*
In den Warenkorb
Applied Cryptography and Network Security
117,70 CHF*
In den Warenkorb
Applied Cryptography and Network Security
117,70 CHF*
In den Warenkorb
Developments in Language Theory
53,50 CHF*
In den Warenkorb
Logic-Based Program Synthesis and Transformation
62,05 CHF*
In den Warenkorb
Neu
Agents and Robots for reliable Engineered Autonomy
64,20 CHF*
Details
Applied Cryptography and Network Security Workshops
70,60 CHF*
In den Warenkorb
1
2
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
