Mathematics of program construction : 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998; proceedings

Mathematics of program construction 4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: MPC (BerichterstatterIn)
Weitere Verfasser: Jeuring, Johan (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York, Heidelberg u.a. Springer 1998
Schriftenreihe:Lecture notes in computer science 1422
Schlagworte:
Electronic digital computers > Programming > Computer science > Mathematics > Computer programming > Konferenzschrift > Softwareentwicklung > Hardwareentwurf > Mathematische Methode
Online Zugang:Cover
Inhaltsverzeichnis
Kapitel 1
Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographical references and index
Beschreibung:X, 382 S.
graph. Darst.
ISBN:3540645918
3-540-64591-8