Developments in concurrency and communication/

Συγγραφή απο Οργανισμό/Αρχή: Addison-Wesley
Άλλοι συγγραφείς: Hoare, C. A. R. 1934-, Hoare, Charles Antony Richard, Hoare, C. A. R.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Reading, Mass.: Addison-Wesley Pub. Co., c1990
Σειρά:The UT year of programming series
Θέματα:
Πίνακας περιεχομένων:
  • Programming in VLSI : from communicating processes to delay-insensitive circuits / Alain J. Martin
  • Occam and the transputer / David May
  • Compiling occam in silicon / David May
  • Use of formal methods by a silicon manufacturer / David May
  • GR-ChTUC
  • GR-AtNTU
Cannot write session to /tmp/vufind_sessions/sess_pp4hg42ovlr4j6hbh9sq5dc564