IFIP Advances in Information and Communication Technology

Algorithimic Languages and Calculi

Autoren: Bird, Richard, Meerkens, Lambert

Vorschau

Dieses Buch kaufen

eBook 169,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-0-387-35264-0
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 223,63 €
Preis für Deutschland (Brutto)
Über dieses Buch

The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software.

Inhaltsverzeichnis (16 Kapitel)

Inhaltsverzeichnis (16 Kapitel)
  • Dynamic programming: a different perspective

    Seiten 1-23

    Curtis, Sharon

  • Calculating With Pointer Structures

    Seiten 24-48

    Möller, Bernhard

  • Deriving a systolic regular language recognizer

    Seiten 49-75

    Vaccari, Matteo (et al.)

  • A Calculational Fusion System HYLO

    Seiten 76-106

    Onoue, Y. (et al.)

  • Refinement of data parallel programs in PEI

    Seiten 107-131

    Violard, E. (et al.)

Dieses Buch kaufen

eBook 169,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-0-387-35264-0
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 223,63 €
Preis für Deutschland (Brutto)
Loading...

Services zu diesem Buch

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Algorithimic Languages and Calculi
Autoren
Titel der Buchreihe
IFIP Advances in Information and Communication Technology
Copyright
1997
Verlag
Springer US
Copyright Inhaber
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35264-0
DOI
10.1007/978-0-387-35264-0
Hardcover ISBN
978-0-412-82050-2
Buchreihen ISSN
1868-4238
Auflage
1
Seitenzahl
VIII, 443
Themen