Freunden von diesem Artikel berichten:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Hast du ein Profil? Anmelden
Benachrichtigungen über neue Veröffentlichungen von Nestor Catano Collazos erhalten
Zu deiner iMusic Wunschliste hinzufügen
oder
Auch vorhanden als:
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)
