Konferenzschrift | Kongress

Mathematics of program construction : 6th international conference ; proceedings

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540438571
3540438572
Dimensions
24 cm
Extent
X, 262 S.
Language
Englisch
Notes
Literaturangaben

Bibliographic citation
Lecture notes in computer science ; Vol. 2386

Keyword
Softwareentwicklung
Mathematische Methode

Event
Veröffentlichung
(where)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
(who)
Springer
(when)
2002
Contributor
Boiten, Eerke
MPC (6 : 2002 : Dagstuhl)

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:03 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Konferenzschrift
  • Kongress

Associated

Time of origin

  • 2002

Other Objects (12)

Mathematics of program construction : 5th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 5th international conference ; proceedings

Mathematics of program construction : 4th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 4th international conference ; proceedings

Mathematics of program construction : 9th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 9th international conference ; proceedings

Mathematics of program construction : 10th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 10th international conference ; proceedings

Mathematics of program construction : third international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : third international conference ; proceedings

Mathematics of program construction : 11th international conference ; proceedings

Konferenzschrift | Kongress

Mathematics of program construction : 11th international conference ; proceedings

Compiler construction : 6th international conference ; proceedings

Konferenzschrift | Kongress

Compiler construction : 6th international conference ; proceedings

Mathematics in the 21st century : 6th world conference, Lahore, March 2013

Konferenzschrift | Kongress

Mathematics in the 21st century : 6th world conference, Lahore, March 2013

Parallel processing and applied mathematics : 6th international conference ; revised selected papers

Konferenzschrift | Kongress

Parallel processing and applied mathematics : 6th international conference ; revised selected papers

Program & abstracts / 8th Biennial Conference Environmental Psychology : September 6th - 9th, Zurich

Konferenzschrift | Kongress

Program & abstracts / 8th Biennial Conference Environmental Psychology : September 6th - 9th, Zurich

Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings

Konferenzschrift | Kongress

Tools and algorithms for the construction and analysis of systems : 6th international conference ; proceedings

Provable security : 6th international conference ; proceedings

Konferenzschrift | Kongress

Provable security : 6th international conference ; proceedings

Related objects