Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Formal Approaches to Computing and Information Technology (FACIT)

Rasta: 15
Formal Object-Oriented Development
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Systems, Models and Measures
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
On the Refinement Calculus
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Proof in VDM: A Practitioner¿s Guide
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Notations for Software Design
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Formal Methods and Object Technology
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
The B Language and Method: A Guide to Practical Formal Development
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
70,11 
82,48 
Išsiųsime per 11-15 d. d.
A Theory and Practice of Program Development
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
High-Integrity System Specification and Design
-15% su kodu: ENG15
70,11 
82,48 
Išsiųsime per 11-15 d. d.
Formal Methods in Human-Computer Interaction
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
70,11 
82,48 
Išsiųsime per 11-15 d. d.
Software Specification Methods: An Overview Using a Case Study
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
143,97 
169,38 
Išsiųsime per 11-15 d. d.
Specification Case Studies in RAISE
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
140,23 
164,98 
Išsiųsime per 11-15 d. d.
Program Development by Refinement: Case Studies Using the B Method
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
280,48 
329,98 
Išsiųsime per 11-15 d. d.
Industrial-Strength Formal Methods in Practice
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
210,36 
247,48 
Išsiųsime per 11-15 d. d.
Proof in VDM: Case Studies
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
140,23 
164,98 
Išsiųsime per 11-15 d. d.
Rasta: 15