Vinkkaa tuotetta kavereillesi:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering
Nestor Catano Collazos
Formal methods offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms used are EVENT B and refinement calculus.
99 pages
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | maanantai 27. tammikuuta 2020 |
| ISBN13 | 9781681736877 |
| Tuottaja | Morgan & Claypool Publishers |
| Sivujen määrä | 99 |
| Mitta | 150 × 220 × 10 mm · 185 g |
| Kieli | Englanti |
| Sarjaohjaaja | Baresi, Luciano |
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Paperback Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/110/9781643277110.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-iop-concise-physics-paperback-book&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Hardcover Book) [2 Revised edition] (2019)](https://imusic.b-cdn.net/images/item/original/158/9781643277158.jpg?joshua-colwell-2019-the-ringed-planet-cassini-s-voyage-of-discovery-at-saturn-hardcover-book&class=scaled&v=1604028982)
