Kategorien
Handverlesen
Rumänische Literatur
Verbrieft
Kafka, Kafka, Kafka
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
von Angela Schader
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (24 Treffer)
Filter schließen (24 Treffer)
Stichwort auswählen
Alle Stichworte
Refinement (24)
Formalmethods (14)
Modelchecking (11)
Verification (11)
Programming (9)
Softwareengineering (7)
Formalverification (6)
Modeling (6)
Semantics (6)
Logic (5)
Programanalysis (5)
Automata (4)
Formalmethod (4)
Formalspecification (4)
Programminglanguage (4)
Staticanalysis (4)
Complexity (3)
Programminglanguages (3)
Real-Time (3)
Specification (3)
Validation (3)
Adaptivesystems (2)
Calculus (2)
Compilers (2)
Denotationalsemantics (2)
Design (2)
Distributedsystems (2)
Embedded Systems (2)
Entwurfsformalismen (2)
Event-B (2)
Formallanguages (2)
Hybridsystems (2)
Java (2)
Model-Drivenengineering (2)
Petrinet (2)
Petrinets (2)
Privacy (2)
Processing (2)
Programmentwicklung (2)
Railways (2)
Security (2)
Simulation (2)
Software Engineering (2)
Softwareevolution (2)
Softwareproductlines (2)
Softwaresysteme (2)
Specifications (2)
Spezifikation (2)
Systemsdesign (2)
Xml (2)
Abstractinterpretation (1)
Algorithmicgamesemantics (1)
Algorithms (1)
Antikörper (1)
Aractstatemachine (1)
Artificialintelligence (1)
Atelier-B (1)
Aviäre Antikörper (1)
Bmethod (1)
Businessentitylifecycle (1)
Casl (1)
Certifiedmodelchecking (1)
Circus (1)
Codegeneration (1)
Compiler (1)
Componentsystems (1)
Concurrency (1)
Concurrentsystems (1)
Constraintprogramming (1)
Cprogramminglanguage (1)
Cyber-Physical Systems (1)
Cylindricalgebras (1)
Datastructure (1)
Dependablecomputing (1)
Embeddedsystems (1)
Fairtestingequivalence (1)
Formal Methods (1)
Formalanalysis (1)
Formalemethoden (1)
Formalformalverification (1)
Formallogic (1)
Formalsemantics (1)
Fuzzylogics (1)
Gentechnologie (1)
Globaloptimization (1)
Graphtransformation (1)
Hcsp (1)
Heuristics (1)
Hub (1)
Hybridsystem (1)
Infiniteoperators (1)
Interpreters (1)
Iterativesystemtuning (1)
Kleenealgebras (1)
Lawsofprogramming (1)
Logicalconstraints (1)
Mathematicallogic (1)
Mathematicallogics (1)
Maude (1)
Meaningsofprograms (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Compiler und Übersetzer (11)
Software Engineering (4)
IT-Management (2)
Mathematik für Informatiker (2)
Theoretische Informatik (2)
Wirtschaftsmathematik und -Informatik (2)
Biologie (1)
Biowissenschaften (1)
Expertensysteme (1)
Onkologie (1)
Wissensbasierte Systeme (1)
Sprache auswählen
Sprachen
Englisch (23)
Deutsch (1)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (22)
Gebunden (2)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Eike Best
oder
Raymond Devillers
oder
Maciej Koutny
eng
Implementing the 3Rs in Laboratory Animal Research
From Theory to Practice
MDPI AG
2023
Gebunden
396 Seiten
142,00
€
in Kürze
eng
Rigorous State-Based Methods
9th International Conference, ABZ 2023, Nancy, France, May 30¿June 2, 2023, Proceedings
Springer Nature Switzerland
2023
Taschenbuch
396 Seiten
80,24
€
in Kürze
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, …
eng
Recent Trends in Algebraic Development Techniques
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2¿5, 2018, Revised Selected Papers
Springer International Publishing
2019
Taschenbuch
188 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Tec…
eng
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ¿ December 1, 2017, Proceedings
Springer International Publishing
2017
Taschenbuch
316 Seiten
69,54
€
in Kürze
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in …
eng
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Springer International Publishing
2017
Taschenbuch
228 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, I…
eng
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10¿14, 2016, Proceedings, Part I
Springer International Publishing
2016
Taschenbuch
1000 Seiten
106,99
€
in Kürze
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Form…
eng
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Springer International Publishing
2016
Taschenbuch
892 Seiten
53,49
€
in Kürze
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Form…
eng
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
448 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, h…
eng
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Springer International Publishing
2016
Taschenbuch
264 Seiten
53,50
€
in Kürze
This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Neth…
eng
Formal Methods: State of the Art and New Directions
Springer London
2014
Taschenbuch
300 Seiten
106,99
€
in Kürze
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on…
eng
Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Springer Berlin Heidelberg
2011
Taschenbuch
200 Seiten
53,49
€
in Kürze
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2…
eng
Program Design Calculi
Springer Berlin Heidelberg
2010
Taschenbuch
428 Seiten
213,99
€
in Kürze
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by n…
eng
Eike Best / Maciej Koutny …
Petri Net Algebra
Springer Berlin Heidelberg
2010
Taschenbuch
396 Seiten
160,49
€
in Kürze
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the …
eng
Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings
Springer Berlin Heidelberg
2008
Taschenbuch
312 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, he…
eng
Relations and Kleene Algebra in Computer Science
9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
452 Seiten
53,49
€
in Kürze
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and …
eng
Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
524 Seiten
53,49
€
in Kürze
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest i…
eng
ZB 2005: Formal Specification and Development in Z and B
4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
516 Seiten
106,99
€
in Kürze
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the so…
eng
Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Springer Berlin Heidelberg
2005
Taschenbuch
500 Seiten
53,49
€
in Kürze
This volume contains the papers accepted for presentation at the 6th Inter- tional Conference on Veri?cation, Model Checking and Abstract Interpretat…
eng
Integrated Formal Methods
4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
560 Seiten
53,49
€
in Kürze
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4¿7 April 2004. The conf…
eng
Formal Methods at the Crossroads. From Panacea to Foundational Support
10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers
Springer Berlin Heidelberg
2003
Taschenbuch
476 Seiten
53,49
€
in Kürze
This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in …
eng
FME 2001: Formal Methods for Increasing Software Productivity
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Springer Berlin Heidelberg
2001
Taschenbuch
648 Seiten
106,99
€
in Kürze
FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is…
Forschung ohne Tierversuche 2000
Springer Vienna
2000
Taschenbuch
496 Seiten
84,99
€
in Kürze
eng
FME '94: Industrial Benefit of Formal Methods
Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
744 Seiten
106,99
€
in Kürze
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Beside…
eng
Program Design Calculi
Springer Berlin Heidelberg
1993
Gebunden
428 Seiten
213,99
€
in Kürze
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by n…
/9783036598376.png "Implementing the 3Rs in Laboratory Animal Research")
/9783031331626.png "Rigorous State-Based Methods")
/9783030232191.png "Recent Trends in Algebraic Development Techniques")
/9783319708478.png "Formal Methods: Foundations and Applications")
/9783319522272.png "Unifying Theories of Programming")
/9783319471655.png "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques")
/9783319471686.png "Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications")
/9783319335995.png "Abstract State Machines, Alloy, B, TLA, VDM, and Z")
/9783319325811.png "Model Checking Software")
/9781447157458.png "Formal Methods: State of the Art and New Directions")
/9783642195884.png "Web Services and Formal Methods")
/9783642081644.png "Program Design Calculi")
/9783642086779.png "Petri Net Algebra")
/9783540857778.png "Formal Modeling and Analysis of Timed Systems")
/9783540378730.png "Relations and Kleene Algebra in Computer Science")
/9783540292098.png "Automated Technology for Verification and Analysis")
/9783540255598.png "ZB 2005: Formal Specification and Development in Z and B")
/9783540242970.png "Verification, Model Checking, and Abstract Interpretation")
/9783540213772.png "Integrated Formal Methods")
/9783540205272.png "Formal Methods at the Crossroads. From Panacea to Foundational Support")
/9783540417910.png "FME 2001: Formal Methods for Increasing Software Productivity")
/9783211830468.png "Forschung ohne Tierversuche 2000")
/9783540585558.png "FME '94: Industrial Benefit of Formal Methods")
/9783540569435.png "Program Design Calculi")