Tipsa dina vänner om produkten:
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 27 januari 2020 |
| ISBN13 | 9781681736877 |
| Utgivare | Morgan & Claypool Publishers |
| Antal sidor | 99 |
| Mått | 150 × 220 × 10 mm · 185 g |
| Språk | Engelska |
| Serieredaktör | Baresi, Luciano |
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn - IOP Concise Physics (Pocketbok) [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-pocketbok&class=scaled&v=1605099497)
![Cover for Joshua Colwell · The Ringed Planet: Cassini's Voyage of Discovery at Saturn (Inbunden Bok) [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-inbunden-bok&class=scaled&v=1604028982)
