Reihe Formal Approaches of Computing and Information Technology (FACIT) High-Integrity System Specification and Design Jonathan P. BowenSpringer BerlinSoftcover199953,49 € 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 €11 Treffer 1 2
