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 (22 Treffer)
Filter schließen (22 Treffer)
Stichwort auswählen
Alle Stichworte
Algebraicspecification (22)
Formalmethods (9)
Logic (7)
Semantics (7)
Design (5)
Formalverification (5)
Programming (5)
Categorytheory (4)
Algebra (3)
Algebraicmethods (3)
Concurrency (3)
Formalmethod (3)
Formalspecification (3)
Modelchecking (3)
Programminglanguage (3)
Softwareengineering (3)
Abstractdatatypes (2)
Calculus (2)
Correctsoftwaredesign (2)
Development (2)
Formalemethoden (2)
Formalprogramdevelopment (2)
Formaltesting (2)
Functionalprogramming (2)
Graphtransformation (2)
Gridandscalablecomputing (2)
Hybridclustering (2)
Internetofthings (2)
Language (2)
Modeling (2)
Parallelalgorithms (2)
Processcalculi (2)
Softwaredevelopment (2)
Specificationlanguages (2)
Systemsdesign (2)
Termrewriting (2)
Ubiquitouscomputing (2)
Universalalgebra (2)
Verification (2)
Abstractstatemachines (1)
Action (1)
Algebraicverification (1)
Algorithm (1)
Algorithms (1)
Artificialintelligence (1)
Automata (1)
Automatedtheoremproving (1)
Bisimulation (1)
Calculi (1)
Casestudy (1)
Casl (1)
Cisco (1)
Coalgebraicreasoning (1)
Codegeneration (1)
Coloredpetrinets (1)
Communication (1)
Component-Basedsystems (1)
Computer (1)
Computeralgebra (1)
Computerscience (1)
Context-Freegrammars (1)
Continuations (1)
Csp (1)
Datastructure (1)
Datastructures (1)
Datenstruktur (1)
Deterministiclearning (1)
Differentialequations (1)
Distributedsystems (1)
Dnguage (1)
Elan (1)
Empiricalstudy (1)
Formaldefinitions (1)
Formaledefinitionen (1)
Formaleverifikation (1)
Formalspecificationand (1)
Fuzzy (1)
Graphgrammars (1)
Graphtheory (1)
Hardware (1)
Hybridtransitionsystems (1)
Inheritance (1)
Intelligence (1)
Java (1)
Linearlanguages (1)
Logicprogramming (1)
Maude (1)
Mobilesystems (1)
Modallogic (1)
Model-Drivendevelopment (1)
Modelsofcomputation (1)
Modling (1)
Object-Oriented (1)
Objectorientation (1)
Operationalsemantics (1)
Organization (1)
Petrinets (1)
Processalgebra (1)
Processalgebras (1)
Processing (1)
Schlagwort-Sachbuch auswählen
Schlagwort Sachbuch
Mathematik für Informatiker (7)
Compiler und Übersetzer (4)
Mathematik: Logik (3)
Algorithmen und Datenstrukturen (2)
Nachrichtententechnik (2)
Telekommunikation (2)
Expertensysteme (1)
Informationstheorie (1)
IT-Management (1)
Software Engineering (1)
Wirtschaftsmathematik und -Informatik (1)
Wissensbasierte Systeme (1)
Sprache auswählen
Sprachen
Englisch (22)
Buchform auswählen (BC=Taschenbuch,BB=Gebunden)
Formate
Taschenbuch (19)
Gebunden (3)
Nur mit
-Notizen
Auf Lager
Sortiert nach
Übereinstimmung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Autoren:
Donald Sannella
oder
Andrzej Tarlecki
oder
Ruth Breu
oder
Antonio Cerone
oder
Markus Roggenbach
eng
Markus Roggenbach / Antonio Cerone …
Formal Methods for Software Engineering
Languages, Methods, Application Domains
Springer International Publishing
2022
Gebunden
556 Seiten
80,24
€
in Kürze
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily in…
eng
Advances in Computer Science and Ubiquitous Computing
CSA-CUTE2016
Springer Nature Singapore
2018
Taschenbuch
1152 Seiten
213,99
€
in Kürze
This book presents the combined proceedings of the 8th International Conference on Computer Science and its Applications (CSA-16) and the 11st Intern…
eng
Graph Transformation, Specifications, and Nets
In Memory of Hartmut Ehrig
Springer International Publishing
2018
Taschenbuch
348 Seiten
53,49
€
in Kürze
This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016. The contributions represent a selection from…
eng
Advances in Computer Science and Ubiquitous Computing
CSA-CUTE2016
Springer Nature Singapore
2016
Gebunden
1152 Seiten
213,99
€
in Kürze
eng
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Springer International Publishing
2015
Taschenbuch
184 Seiten
42,80
€
in Kürze
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WAD…
eng
Andrzej Tarlecki / Donald Sannella
Foundations of Algebraic Specification and Formal Software Development
Springer Berlin Heidelberg
2014
Taschenbuch
600 Seiten
85,59
€
in Kürze
eng
Andrzej Tarlecki / Donald Sannella
Foundations of Algebraic Specification and Formal Software Development
Springer Berlin Heidelberg
2011
Gebunden
600 Seiten
117,69
€
in Kürze
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, co…
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
Semantics and Algebraic Specification
Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
Springer Berlin Heidelberg
2009
Taschenbuch
420 Seiten
53,49
€
in Kürze
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coa…
eng
Algebraic Informatics
Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Springer Berlin Heidelberg
2007
Taschenbuch
304 Seiten
53,49
€
in Kürze
This book constitutes the refereed proceedings of the Second International Conference on Algebraic Informatics, CAI 2007, held in Thessaloniki, Greec…
eng
Algebraic Methodology and Software Technology
11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Springer Berlin Heidelberg
2006
Taschenbuch
404 Seiten
53,49
€
in Kürze
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised …
eng
Algebraic Methodology and Software Technology
10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
Springer Berlin Heidelberg
2004
Taschenbuch
588 Seiten
53,49
€
in Kürze
committee selected 35 papers to be presented.
eng
Software Engineering Research and Applications
First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers
Springer Berlin Heidelberg
2004
Taschenbuch
400 Seiten
53,49
€
in Kürze
It was our great pleasure to extend a welcome to all who participated in SERA 2003, the ?rst world-classs International Conference on Software Engine…
eng
CASL Reference Manual
The Complete Documentation of the Common Algebraic Specification Language
Springer Berlin Heidelberg
2004
Taschenbuch
552 Seiten
106,99
€
in Kürze
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification a…
eng
Recent Trends in Algebraic Development Techniques
15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Springer Berlin Heidelberg
2002
Taschenbuch
360 Seiten
53,49
€
in Kürze
Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee. Weareextremelygra…
eng
Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
Springer Berlin Heidelberg
1999
Taschenbuch
360 Seiten
53,49
€
in Kürze
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and me…
eng
Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Springer Berlin Heidelberg
1998
Taschenbuch
404 Seiten
53,49
€
in Kürze
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, …
eng
Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Springer Berlin Heidelberg
1996
Taschenbuch
376 Seiten
53,49
€
in Kürze
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO…
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
Algebraic Methodology and Software Technology (AMAST¿93)
Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21¿25 June 1993
Springer London
1993
Taschenbuch
436 Seiten
53,49
€
in Kürze
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to pract…
eng
Ruth Breu
Algebraic Specification Techniques in Object Oriented Programming Environments
Springer Berlin Heidelberg
1991
Taschenbuch
244 Seiten
53,49
€
in Kürze
The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification technique…
eng
Algebraic Methods II: Theory, Tools and Applications
Springer Berlin Heidelberg
1991
Taschenbuch
444 Seiten
53,49
€
in Kürze
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic metho…