Povej prijatelju o tem izdelku:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Do you have a profile? Prijava
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 27. januarja 2020 |
| ISBN13 | 9781681736877 |
| Založniki | Morgan & Claypool Publishers |
| Strani | 99 |
| Dimenzije | 150 × 220 × 10 mm · 185 g |
| Jezik | Angleščina |
| Urednik serije | Baresi, Luciano |
Ogled vseh Nestor Catano Collazos ( Na primer Paperback Book )