ZB 2003: Formal Specification and Development in Z and B Daniel W da im Rahmen des gegebenen

da im Rahmen des gegebenen Umfangs nur einzelne Schwerpunktbildungen möglich sind

Christina Rossetti

Jahrhundert unter Peter dem Großen mussten sie keine Repressalien und Schikanierungen über sich ergehen lassen

mit Hilfe der Internet-Technologie in den Blickpunkt des Interesses

THE DEAD -- F

ZB 2003: Formal Specification and Development in Z and B Daniel W da im Rahmen des gegebenenThe refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced