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 (27 Treffer)
Filter schließen (27 Treffer)
Stichwort auswählen
Alle Stichworte
Formalemethoden (27)
Formalmethods (22)
Formalmethod (12)
Verification (10)
Programming (8)
Algorithms (7)
Formalspecification (6)
Automata (5)
Real-Time (5)
Softwaredevelopment (5)
Design (4)
Formalespezifikation (4)
Logic (4)
Real-Timesystems (4)
Semantics (4)
Softwareentwicklung (4)
Theoremproving (4)
Algorithm (3)
Circuitdesign (3)
Formalverification (3)
Hybridsystems (3)
Modelchecking (3)
Programsemantics (3)
System (3)
Variable (3)
Algebraicspecification (2)
Bedeutungvonprogrammen (2)
C++programminglanguage (2)
Combinatorics (2)
Computer (2)
Concurrency (2)
Configuration (2)
Echt-Zeit-Systeme (2)
Echtzeit-Systeme (2)
Fault-Tolerantsystems (2)
Hardware (2)
Object (2)
Programconstruction (2)
Programmsemantik (2)
Programmspezifikation (2)
Reaktivesysteme (2)
Reasoningaboutprograms (2)
Simulation (2)
Softwareengineering (2)
Softwarespecification (2)
Testing (2)
Viennadevelopmentmethod (2)
Algebraicfoundations (1)
Algebraischegrundlagen (1)
Algorithmen (1)
Artificialintelligence (1)
Bäume (1)
Categorytheoory (1)
Circuitverification (1)
Classification (1)
Communication (1)
Computer-Aideddesign (1)
Concurrentprogramming (1)
Configurationmanagement (1)
Constraintprogrammierung (1)
Control (1)
Correcthardwaredesign (1)
Databases (1)
Datenstruktur (1)
Datenstrukturen (1)
Debugging (1)
Development (1)
Digitalcontroltechnology (1)
Distributedsystems (1)
Dom (1)
Entwurf (1)
Fehlertoplerantesysteme (1)
Folgen (1)
Formaleverifikation (1)
Formalmodeling (1)
Formalprogramdevelopment (1)
Formalspezification (1)
Funktionen (1)
Graph-Algorithmen (1)
Graphalgorithms (1)
Hardwaredesign (1)
Hardwareverfication (1)
Hardwareverifikation (1)
Hol-System (1)
Holsystems (1)
Hybridesysteme (1)
Kernel (1)
Komplexität (1)
Konzeptsprache (1)
Language (1)
Logicalfoundations (1)
Logicofprograms (1)
Logischegrundlagen (1)
Mathematica (1)
Mathematicalprogramming (1)
Mathematischegrundlagen (1)
Mengen (1)
Modeling (1)
Modula-3 (1)
Object-Basedcomputing (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Expertensysteme (5)
Wissensbasierte Systeme (5)
Mathematik für Informatiker (4)
Compiler und Übersetzer (3)
Software Engineering (3)
Angewandte Mathematik (2)
Elektronik (2)
IT-Management (2)
Wirtschaftsmathematik und -Informatik (2)
Algorithmen und Datenstrukturen (1)
Computer-Aided Design (cad) (1)
Informationstheorie (1)
Mathematik: Logik (1)
Regelungstechnik (1)
Theoretische Informatik (1)
Sprache auswählen
Sprachen
Englisch (25)
Deutsch (2)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (27)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Robert Hilbrich
oder
Fred Kröger
Robert Hilbrich
Platzierung von Softwarekomponenten auf Mehrkernprozessoren
Automatisierte Konstruktion und Analyse für funktionssichere Systeme
Springer Fachmedien Wiesbaden
2015
Taschenbuch
264 Seiten
59,99
€
in Kürze
In dieser Arbeit wird ein modellbasiertes Verfahren zur automatisierten Platzierung von Softwarekomponenten unter Berücksichtigung der Echtzeit- und …
eng
Algebraic Foundations of Systems Specification
Springer Berlin Heidelberg
2011
Taschenbuch
632 Seiten
53,49
€
in Kürze
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions c…
eng
Formal Methods in Computer-Aided Design
First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Springer Berlin Heidelberg
1996
Taschenbuch
488 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in P…
eng
Formal Techniques in Real-Time and Fault-Tolerant Systems
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Springer Berlin Heidelberg
1996
Taschenbuch
500 Seiten
53,49
€
in Kürze
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, …
eng
Algebraic Methodology and Software Technology
5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings
Springer Berlin Heidelberg
1996
Taschenbuch
660 Seiten
106,99
€
in Kürze
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held …
eng
Hybrid Systems III
Verification and Control
Springer Berlin Heidelberg
1996
Taschenbuch
636 Seiten
106,99
€
in Kürze
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers Univ…
eng
FME '96: Industrial Benefit and Advances in Formal Methods
Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.
Springer Berlin Heidelberg
1996
Taschenbuch
724 Seiten
106,99
€
in Kürze
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996…
eng
Correct Hardware Design and Verification Methods
IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
356 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHAR…
eng
ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
596 Seiten
106,99
€
in Kürze
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book con…
eng
Mathematics of Program Construction
Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
488 Seiten
53,49
€
in Kürze
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germ…
eng
Algebraic Methodology and Software Technology
4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
612 Seiten
106,99
€
in Kürze
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canad…
eng
TAPSOFT '95: Theory and Practice of Software Development
6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
Springer Berlin Heidelberg
1995
Taschenbuch
836 Seiten
106,99
€
in Kürze
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, hel…
eng
Formal Development of Reactive Systems
Case Study Production Cell
Springer Berlin Heidelberg
1995
Taschenbuch
412 Seiten
53,49
€
in Kürze
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Techno…
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
Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
808 Seiten
106,99
€
in Kürze
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly w…
eng
Higher Order Logic Theorem Proving and Its Applications
7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
488 Seiten
53,49
€
in Kürze
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Ma…
eng
Computer Aided Verification
6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Springer Berlin Heidelberg
1994
Taschenbuch
496 Seiten
53,49
€
in Kürze
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 …
eng
Formal Program Development
IFIP TC2/WG 2.1 State-of-the-Art Report
Springer Berlin Heidelberg
1993
Taschenbuch
388 Seiten
53,49
€
in Kürze
This volume contains the background texts for an IFIP State-of-the-Art Seminar on Formal Program Development, held in early 1992 near Rio de Janeiro,…
eng
Formal Methods in Programming and Their Applications
International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Springer Berlin Heidelberg
1993
Taschenbuch
452 Seiten
53,49
€
in Kürze
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, h…
eng
Correct Hardware Design and Verification Methods
IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings
Springer Berlin Heidelberg
1993
Taschenbuch
284 Seiten
53,49
€
in Kürze
These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, F…
eng
Mathematics of Program Construction
Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
Springer Berlin Heidelberg
1993
Taschenbuch
392 Seiten
53,49
€
in Kürze
Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is m…
eng
FME '93: Industrial-Strength Formal Methods
First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Springer Berlin Heidelberg
1993
Taschenbuch
708 Seiten
106,99
€
in Kürze
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-t…
eng
Object-Based Concurrent Computing
ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
Springer Berlin Heidelberg
1992
Taschenbuch
280 Seiten
53,49
€
in Kürze
The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide a forum on concurrent, distributed and open-ended computing. The …
eng
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 1: Conference Contributions
Springer Berlin Heidelberg
1991
Taschenbuch
720 Seiten
106,99
€
in Kürze
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987…
eng
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Volume 2: Tutorials
Springer Berlin Heidelberg
1991
Taschenbuch
448 Seiten
53,49
€
in Kürze
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 198…
eng
ESEC '91
3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings
Springer Berlin Heidelberg
1991
Taschenbuch
532 Seiten
53,49
€
in Kürze
The third European Software Engineering Conference follows ESEC'87 and ESEC'89. This series of conferences was set up by the European societies with …
Fred Kröger
Einführung in die Informatik
Algorithmenentwicklung
Springer Berlin Heidelberg
1991
Taschenbuch
332 Seiten
49,95
€
in Kürze
Das Buch ist eine moderne algorithmenorientierte Einf}hrung in die Informatik: Im Vordergrund stehen Konzepte, Methoden und Techniken der Algorithmen…
/9783658111724.png "Platzierung von Softwarekomponenten auf Mehrkernprozessoren")
/9783642641510.png "Algebraic Foundations of Systems Specification")
/9783540619376.png "Formal Methods in Computer-Aided Design")
/9783540616481.png "Formal Techniques in Real-Time and Fault-Tolerant Systems")
/9783540614630.png "Algebraic Methodology and Software Technology")
/9783540611554.png "Hybrid Systems III")
/9783540609735.png "FME '96: Industrial Benefit and Advances in Formal Methods")
/9783540603856.png "Correct Hardware Design and Verification Methods")
/9783540602712.png "ZUM '95: The Z Formal Specification Notation")
/9783540601173.png "Mathematics of Program Construction")
/9783540600435.png "Algebraic Methodology and Software Technology")
/9783540592938.png "TAPSOFT '95: Theory and Practice of Software Development")
/9783540588672.png "Formal Development of Reactive Systems")
/9783540585558.png "FME '94: Industrial Benefit of Formal Methods")
/9783540584681.png "Formal Techniques in Real-Time and Fault-Tolerant Systems")
/9783540584506.png "Higher Order Logic Theorem Proving and Its Applications")
/9783540581796.png "Computer Aided Verification")
/9783540574996.png "Formal Program Development")
/9783540573166.png "Formal Methods in Programming and Their Applications")
/9783540567783.png "Correct Hardware Design and Verification Methods")
/9783540566250.png "Mathematics of Program Construction")
/9783540566625.png "FME '93: Industrial-Strength Formal Methods")
/9783540556138.png "Object-Based Concurrent Computing")
/9783540548348.png "VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings")
/9783540548683.png "VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings")
/9783540547426.png "ESEC '91")
/9783540533030.png "Einführung in die Informatik")