Kategorien
Handverlesen
Bücher über Grönland
Pinguin-Bücher
Neue Comics und Graphic Novels
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (3 Treffer)
Filter schließen (3 Treffer)
Stichwort
Alle Stichworte
Software Testing (3)
Abstraction (1)
Automata Theory (1)
Command Line (1)
Containerization (1)
Data-Flow Analysis (1)
Dynamical Systems (1)
Hardware Verification (1)
Interpolation (1)
Kripke Structures (1)
Mathematical Logic (1)
Model Checking (1)
Open Source (1)
Parameterized Systems (1)
Partial-Order Reduction (1)
Program Verification (1)
Qa Interview Preparation (1)
Reactive Synthesis (1)
Real-Time Systems (1)
Sat Solving (1)
Software Applications (1)
Software Design (1)
Software Development (1)
Software Engineering (1)
Software Reference Guide (1)
Software Troubleshooting (1)
State-Transition Systems (1)
Temporal Logic (1)
Test Automation Career (1)
Sachbuch
Schlagwort Sachbuch
Mathematik: Logik (1)
Open-Source und Sonstige Betriebssysteme (1)
Softwaretests und Prüfsoftware (1)
Sprache
Sprachen
Englisch (3)
Buchform
Formate
Taschenbuch (2)
Gebunden (1)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
eng
Nico Loubser
The Developer's Field Guide to Modern Software Engineering
Methods, Tools and Best Practices
APRESS L.P.
2026
Taschenbuch
146 Seiten
53,49
€
Am 25.04.2026
eng
Ahmed El-Deeb
Beyond the QA Interview
Master Quality Assurance and Build a Solid Career
APRESS L.P.
2026
Taschenbuch
107 Seiten
64,19
€
Am 24.03.2026
eng
Handbook of Model Checking
Springer-Verlag GmbH
2018
Gebunden
1212 Seiten
149,79
€
Auf Lager
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from rese…