Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Książki - Morgan & Claypool Publishers - 9781681736877 - 27 stycznia 2020
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Nestor Catano Collazos
Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering

Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Otrzymuj powiadomienia o nowych wydawnictwach Nestor Catano Collazos

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

Również dostępne jako:

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 27 stycznia 2020
ISBN13 9781681736877
Wydawcy Morgan & Claypool Publishers
Strony 99
Wymiary 150 × 220 × 10 mm   ·   185 g
Język Angielski  
Redaktor serii Baresi, Luciano

Więcej od tego samego wydawcy

Zobacz wszystko od Nestor Catano Collazos ( np. Paperback Book )