Pastāsti draugiem par šo preci:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Do you have a profile? Pierakstīties
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2020. gada 27. janvāris |
| ISBN13 | 9781681736877 |
| Izdevēji | Morgan & Claypool Publishers |
| Lapas | 99 |
| Izmēri | 150 × 220 × 10 mm · 185 g |
| Valoda | Angļu |
| Sērijas redaktors | Baresi, Luciano |
Skatīt visus Nestor Catano Collazos ( piem., Paperback Book )