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
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
Kreditkarten
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Wichtige Studienliteratur
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zu "formal testing" wurden 11 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer Berlin (10)
Springer International Publishing (1)
Produktart
Kartoniert / Broschiert (11)
Herausgeber
Bozapalidis, Symeon Rahonis, George (1)
Codescu, Mihai Diaconescu, Razvan ?u?u, Ionu? (1)
Donaldson, Alastair Parker, David (1)
Fiadeiro, José Luiz Schobbens, Pierre-Yves (1)
Fitzgerald, John Hayes, Ian J. (1)
Gogolla, Martin Wolff, Burkhart (1)
Grabowski, Jens Nielsen, Brian (1)
Grieskamp, Wolfgang Weise, Carsten (1)
Misra, Jayadev Nipkow, Tobias Sekerinski, Emil (1)
Mossakowski, Till Montanari, Ugo Haveraaen, Magne (1)
Oliveira, Marcel Vinícius Medeiros Woodcock, Jim (1)
Themengebiete
abstract state machines (2)
algebra (1)
algebraic methods (1)
algebraic specification (2)
algebraic verification (1)
algorithm (1)
architecture (1)
automata (4)
automated debugging (1)
automated theorem proving (1)
Bisimulation (1)
calculi (3)
calculus (1)
cellular automata (1)
communication protocols (1)
Computer (1)
constraint resolution (1)
constraint solving (1)
context-free grammars (1)
correct systems design (2)
correctness proofs (2)
CSP (1)
design (1)
design pattern (1)
deterministic learning (1)
differential equations (1)
distributed systems (1)
empirical study (1)
event decomposition (1)
fault-tolerance (1)
finite state machines (2)
formal method (2)
formal methods (7)
formal specification (3)
formal specification and (1)
formal testing (11)
formal verification (3)
functional programming (1)
graph logic (1)
graph transformation (1)
higher order processes (1)
hybrid transition systems (1)
java programming (2)
logic (2)
Markov chains (1)
mathematical program construction (1)
Maude (1)
modal logic (1)
model checking (4)
model-driven engineering (1)
modeling (1)
object-orientation (1)
optimization (1)
probabilistic model checking (1)
Processing (1)
program correctness (1)
program verification (1)
reactive systems (1)
Refactoring (1)
Resolution (2)
safety-critical applications (1)
software verification (1)
systems reliability (1)
UML (1)
use cases (1)
Veröffentlichungsdatum
2005 (1)
2006 (1)
2007 (1)
2009 (1)
2011 (1)
2012 (1)
2015 (1)
Sprache
Englisch (11)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Formal Methods: Foundations and Applications
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Recent Trends in Algebraic Development Techniques
42,80 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
FM 2006: Formal Methods
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
FM 2005: Formal Methods
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Approaches to Software Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Recent Trends in Algebraic Development Techniques
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Model Checking Software
49,22 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Algebra and Coalgebra in Computer Science
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Tests and Proofs
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Algebraic Informatics
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Approaches to Software Testing
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück