Fortæl dine venner om denne vare:
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
zł 256,90
Bestilles fra fjernlager
Forventes klar til forsendelse 21. - 27. aug.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 27. oktober 1992 |
| ISBN13 | 9783540197522 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 381 |
| Mål | 155 × 235 × 21 mm · 548 g |
| Sprog | Tysk |
| Klipper/redaktør | Denvir, Tim |
| Klipper/redaktør | Jones, Cliff B. |
| Klipper/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 (Paperback Bog) [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-paperback-bog&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 (Paperback Bog) [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-paperback-bog&class=scaled&v=1527141100)