Povedzte o tejto položke priateľom:
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering Nestor Catano Collazos
Do you have a profile? Prihlásiť sa
Naši zákazníci hovoria:
Pridať do vášho zoznamu prianí na iMusic
Tiež dostupné ako:
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
| Médium | Knihy Paperback Book (Kniha s mäkkou väzbou a lepeným chrbtom) |
| Vydané | 27. januára 2020 |
| ISBN13 | 9781681736877 |
| Vydavatelia | Morgan & Claypool Publishers |
| Strany | 99 |
| Rozmery | 150 × 220 × 10 mm · 185 g |
| Jazyk | Angličtina |
| Editor série | Baresi, Luciano |
Pozrieť všetko od Nestor Catano Collazos ( napr. Paperback Book )