Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Bøker - Morgan & Claypool Publishers - 9781681736877 - 27. januar 2020
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Få en e-post når varen er tilgjengelig
Har du en profil? Logg inn

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. januar 2020
ISBN13 9781681736877
Utgivere Morgan & Claypool Publishers
Antall sider 99
Mål 150 × 220 × 10 mm   ·   185 g
Språk Engelsk  
Serieredaktør Baresi, Luciano

Se alt med Nestor Catano Collazos ( f.eks. Pocketbok )