Reihe Formal Approaches to Computing and Information Technology (FACIT) Notations for Software Design Loe M.G. FeijsSpringer LondoneBook201253,49 € Formal Methods and Object Technology Springer LondoneBook201296,29 € Formal Object-Oriented Development Kevin LanoSpringer LondoneBook201253,49 € Formal Methods in Human-Computer Interaction Springer LondoneBook201253,49 € High-Integrity System Specification and Design Jonathan P. BowenSpringer LondoneBook201253,49 € Specification Case Studies in RAISE Springer LondonSoftcover2002106,99 € Software Specification MethodsAn Overview Using a Case StudySpringer LondonSoftcover2000106,99 € Industrial-Strength Formal Methods in Practice Springer LondonSoftcover1999160,49 € High-Integrity System Specification and Design Jonathan P. BowenSpringer BerlinSoftcover199953,49 € Program Development by RefinementCase Studies Using the B MethodSpringer LondonSoftcover1998213,99 €30 Treffer 1 2 3
