Konferenzschrift | Kongress
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993 ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540573166
354057316X
9780387573168
038757316X
- Dimensions
-
24 cm
- Extent
-
IX, 433 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 735
- Keyword
-
Formale Spezifikationstechnik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
- (who)
-
Springer
- (when)
-
1993
- 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, 1:48 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
- Bjørner, Dines
- Springer
Time of origin
- 1993
Other Objects (12)
Wood July 1946 - June 1947
A formal foundation for concurrent object oriented programming
Formal meta-programming in the calculus of constructions
Public utilities July/June/May 1948
Saturday, June 30th to Saturday, July 7th
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Wilfrid Israel : July 11th, 1899 - June 1st, 1943
Building Material - 1. July 1946 - 30. June 1947
Wood July 1946 - June 1947
A formal foundation for concurrent object oriented programming
Formal meta-programming in the calculus of constructions
Public utilities July/June/May 1948
Saturday, June 30th to Saturday, July 7th
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Wilfrid Israel : July 11th, 1899 - June 1st, 1943
Building Material - 1. July 1946 - 30. June 1947
Wood July 1946 - June 1947
A formal foundation for concurrent object oriented programming
Formal meta-programming in the calculus of constructions
Public utilities July/June/May 1948
Saturday, June 30th to Saturday, July 7th
Formal methods for quantitative aspects of programming languages : advanced lectures
Unifying theories of programming and formal engineering methods : advanced lectures
Logic programming, 5. 1986.. Tokyo, Japan, June 23 - 26, 1986
Logic programming, 6. 1987.. Tokyo, Japan, June 22 - 24, 1987
Logic programming, 4. 1985.. Tokyo, Japan, July 1 - 3, 1985
Wilfrid Israel : July 11th, 1899 - June 1st, 1943