Atgal
Knygos internetu pigiau
0 Krepšelis
0 Mėgstami
0Krepšelis
  1. Pirmas
  2. Formal Approaches to Computing and Information Technology (FACIT)
Grįžti atgal
Atgal
Rikiuoti pagal
Kaina
82 €
330 €
Viršelio formatas
Autoriai
Leidyklos
Išleidimo metai

Formal Approaches to Computing and Information Technology (FACIT)

Rasta: 15
Formal Object-Oriented Development
  • Nemokamas pristatymas
Formal Object-Oriented Development
Kevin Lano
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Systems, Models and Measures
  • Nemokamas pristatymas
Systems, Models and Measures
Margaret Myers, Agnes Kaposi
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
On the Refinement Calculus
  • Nemokamas pristatymas
On the Refinement Calculus
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Proof in VDM: A Practitioner¿s Guide
  • Nemokamas pristatymas
Proof in VDM: A Practitioner¿s G...
Juan C. Bicarregui, John Fitzgerald, Brian Ritchie, Richard Moore, Peter A. Lindsay
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Notations for Software Design
  • Nemokamas pristatymas
Notations for Software Design
Loe M. G. Feijs, Cornelis A. Middelburg, Hans B. M. Jonkers
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Formal Methods and Object Technology
  • Nemokamas pristatymas
Formal Methods and Object Techno...
Knyga minkštu viršeliu
(0)
169,38 €
169,38 €
Į krepšelį
Išsiųsime per 13-17 d. d.
The B Language and Method: A Guide to Practical Formal Development
  • Nemokamas pristatymas
The B Language and Method: A Gui...
Kevin Lano
Knyga minkštu viršeliu
(0)
82,48 €
82,48 €
Į krepšelį
Išsiųsime per 13-17 d. d.
A Theory and Practice of Program Development
  • Nemokamas pristatymas
A Theory and Practice of Program...
Derek J. Andrews
Knyga minkštu viršeliu
(0)
84,68 €
84,68 €
Į krepšelį
Išsiųsime per 13-17 d. d.
High-Integrity System Specification and Design
  • Nemokamas pristatymas
High-Integrity System Specificat...
Michael G. Hinchey, Jonathan P. Bowen
Knyga minkštu viršeliu
(0)
82,48 €
82,48 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Formal Methods in Human-Computer Interaction
  • Nemokamas pristatymas
Formal Methods in Human-Computer...
Knyga minkštu viršeliu
(0)
82,48 €
82,48 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Software Specification Methods: An Overview Using a Case Study
  • Nemokamas pristatymas
Software Specification Methods: ...
Knyga minkštu viršeliu
(0)
169,38 €
169,38 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Specification Case Studies in RAISE
  • Nemokamas pristatymas
Specification Case Studies in RAISE
Knyga minkštu viršeliu
(0)
164,98 €
164,98 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Program Development by Refinement: Case Studies Using the B Method
  • Nemokamas pristatymas
Program Development by Refinemen...
Knyga minkštu viršeliu
(0)
329,98 €
329,98 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Industrial-Strength Formal Methods in Practice
  • Nemokamas pristatymas
Industrial-Strength Formal Metho...
Knyga minkštu viršeliu
(0)
247,48 €
247,48 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Proof in VDM: Case Studies
  • Nemokamas pristatymas
Proof in VDM: Case Studies
Knyga minkštu viršeliu
(0)
164,98 €
164,98 €
Į krepšelį
Išsiųsime per 13-17 d. d.
Rasta: 15