Reihe Formal Approaches to Computing and Information Technology (FACIT) Constructing Correct Software John CookeSpringer LondoneBook201352,99 € Refinement in Z and Object-ZFoundations and Advanced ApplicationsJohn DerrickSpringer LondoneBook2012139,09 € Industrial-Strength Formal Methods in Practice Springer LondoneBook2012149,79 € Program Development by RefinementCase Studies Using the B MethodSpringer LondoneBook2012213,99 € Software Specification MethodsAn Overview Using a Case StudySpringer LondoneBook201296,29 € On the Refinement Calculus Springer LondoneBook201253,49 € A Theory and Practice of Program Development Derek J. AndrewsSpringer LondoneBook201253,49 € The B Language and MethodA Guide to Practical Formal DevelopmentKevin LanoSpringer LondoneBook201253,49 € Proof in VDM: Case Studies Springer LondoneBook201296,29 € Systems, Models and Measures Agnes KaposiSpringer LondoneBook201253,49 €30 Treffer 1 2 3