Reihe Formal Approaches to Computing and Information Technology (FACIT) Proof in VDM: Case Studies Springer BerlinSoftcover1998106,99 € Formal Methods in Human-Computer Interaction Springer BerlinSoftcover199753,49 € A Theory and Practice of Program Development Derek J. AndrewsSpringer BerlinSoftcover199753,49 € The B Language and MethodA Guide to Practical Formal DevelopmentKevin LanoSpringer BerlinSoftcover199653,49 € Formal Methods and Object Technology Springer BerlinSoftcover1996106,99 € Formal Object-Oriented Development Kevin LanoSpringer BerlinSoftcover199553,49 € On the Refinement Calculus Springer BerlinSoftcover199453,49 € Notations for Software Design Loe M.G. FeijsSpringer BerlinSoftcover199453,49 € Systems, Models and Measures Agnes KaposiSpringer BerlinSoftcover199353,49 € Proof in VDM: A Practitioner’s Guide Juan C. BicarreguiSpringer BerlinSoftcover199353,49 €30 Treffer 1 2 3
