This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification...

Das Buch "Formal Methods in Databases and Software Engineering" ist eine Sammlung von wissenschaftlichen Arbeiten, die auf dem Workshop zu formalen Methoden in Datenbanken und Softwaretechnik präsentiert wurden, der im Mai 1992 in...