Java Software Development with Event B: A Practical Guide - Synthesis Lectures on Software Engineering - Nestor Catano Collazos - Boeken - Morgan & Claypool Publishers - 9781681736877 - 27 januari 2020
Indien omslag en titel niet overeenkomen, is de titel correct

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

Ontvang een e-mail zodra het artikel beschikbaar is
Heb je een profiel? Inloggen

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

Ook verkrijgbaar als:

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 27 januari 2020
ISBN13 9781681736877
Uitgevers Morgan & Claypool Publishers
Pagina's 99
Afmetingen 150 × 220 × 10 mm   ·   185 g
Taal en grammatica Engels  
Serie-editor Baresi, Luciano

Bekijk alles van Nestor Catano Collazos ( bijv. Paperback Book )