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

Advances in Formal Methods

Rasta: 6
The Object-Z Specification Language
-15% su kodu: ENG15
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Software Engineering with OBJ: Algebraic Specification in Action
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Computer-Aided Reasoning: ACL2 Case Studies
-15% su kodu: ENG15
Knyga kietu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Software Engineering with OBJ: Algebraic Specification in Action
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Computer-Aided Reasoning: ACL2 Case Studies
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
The Object-Z Specification Language
-15% su kodu: ENG15
Knyga minkštu viršeliu
(0)
287,96 
338,78 
Išsiųsime per 11-15 d. d.
Rasta: 6