Konferenzschrift | Kongress
Unifying theories of programming and formal engineering methods : advanced lectures
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642397202
3642397204
- Dimensions
-
24 cm, 456 g
- Extent
-
VIII, 281 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8050 : Tutorial
- Keyword
-
Unifikationstheorie
Programmierung
Formale Methode
Spezifikationstechnik
Systementwicklung
Softwareentwicklung
Verifikation
- Event
-
Veröffentlichung
- (where)
-
Heidelberg, Dordrecht, London, New York, NY, Berlin
- (who)
-
Springer
- (when)
-
2013
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:05 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Liu, Zhiming
- Woodcock, Jim
- Zhu, Huibiao
- ICTAC (10 : 2013 : Schanghai)
- Springer
Time of origin
- 2013
Other Objects (12)
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Formal methods for quantitative aspects of programming languages : advanced lectures
Generic programming : advanced lectures
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
Lectures on semi infinite programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Lectures on formal methods and performance analysis : revised lectures
Multi-objective programming and goal programming : theories and applications
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Formal methods for quantitative aspects of programming languages : advanced lectures
Generic programming : advanced lectures
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
Lectures on semi infinite programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Lectures on formal methods and performance analysis : revised lectures
Multi-objective programming and goal programming : theories and applications
Unifying theories of programming : third international symposium ; proceedings
Algebraic foundations of the unifying theories of programming
Unifying theories of programming : 4th international symposium ; revised selected papers
Unifying theories of programming : second international symposium ; revised selected papers
Formal methods for quantitative aspects of programming languages : advanced lectures
Generic programming : advanced lectures
Flavour symmetries in Pati-Salam Grand Unifying Theories
First order programming theories
Lectures on semi infinite programming
A unifying logical framework for integer linear programming and finite domain constraint programming
Lectures on formal methods and performance analysis : revised lectures