Freunden von diesem Artikel berichten:
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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 27. Januar 2020 |
| ISBN13 | 9781681736877 |
| Verlag | Morgan & Claypool Publishers |
| Seitenanzahl | 99 |
| Maße | 150 × 220 × 10 mm · 185 g |
| Sprache | Englisch |
| Serienredakteur | Baresi, Luciano |
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Taschenbuch) [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-taschenbuch&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1604028982)
