Fortell venner om denne varen:
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing Edition. Ed. edition
Cliff B Jones
Pris
¥ 8.442
Bestillingsvarer
Forventes levert 5. - 13. nov
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 - Workshops in Computing Edition. Ed. edition
Cliff B Jones
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.
381 pages, 3 black & white illustrations, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 27. oktober 1992 |
| ISBN13 | 9783540197522 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 381 |
| Mål | 155 × 235 × 21 mm · 548 g |
| Språk | Tysk |
| Redaktør | Denvir, Tim |
| Redaktør | Jones, Cliff B. |
| Redaktør | Shaw, Roger C. |
![Cover for Cliff B Jones · Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Theoretical Computer Science and General Issues (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/905/9783540752905.jpg?cliff-b-jones-2007-theoretical-aspects-of-computing-ictac-2007-4th-international-colloquium-macau-china-september-26-28-2007-proceedings-theoretical-computer-science-and-general-issues-pocketbok&class=scaled&v=1445781721)
![Cover for Cliff B Jones · Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Lecture Notes in Computer Science (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/202/9783540752202.jpg?cliff-b-jones-2007-formal-methods-and-hybrid-real-time-systems-essays-in-honour-of-dines-bjorner-and-zhou-chaochen-on-the-occasion-of-their-70th-birthdays-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1527141100)