Fortæl dine venner om denne vare:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Har du en konto? Log ind
Modtag notifikation om nye Nestor Catano Collazos udgivelser
Tilføj til din iMusic ønskeseddel
eller
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 27. januar 2020 |
| ISBN13 | 9781681736877 |
| Forlag | Morgan & Claypool Publishers |
| Antal sider | 99 |
| Mål | 150 × 220 × 10 mm · 185 g |
| Sprog | Engelsk |
| Serieredaktør | Baresi, Luciano |
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Paperback Bog) [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-bog&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Hardcover bog) [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-bog&class=scaled&v=1604028982)
