bokomslag Deductive Program Design
Data & IT

Deductive Program Design

Manfred Broy

Inbunden

2969:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 1996
This volume presents research in the description of distributed systems and the design calculi of software and hardware using functional, algebraic, logical and programming calculi.
  • Författare: Manfred Broy
  • Format: Inbunden
  • ISBN: 9783540609476
  • Språk: Engelska
  • Utgivningsdatum: 1996-06-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K