Reihe Formal Approaches to Computing and Information Technology (FACIT)Kevin Lano × The B Language and MethodA Guide to Practical Formal DevelopmentKevin LanoSpringer LondoneBook201253,49 € Formal Object-Oriented Development Kevin LanoSpringer LondoneBook201253,49 € The B Language and MethodA Guide to Practical Formal DevelopmentKevin LanoSpringer BerlinSoftcover199653,49 € Formal Object-Oriented Development Kevin LanoSpringer BerlinSoftcover199553,49 €
