Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Bjorner reset filtrov +
Autor: Bjorner Towards a Formal Description of Ada Bjorner 1980 Software Engineering 3 Bjorner 2006 Software Engineering 2 Bjorner 2006 Software Engineering 1 Bjorner 2006 Perspectives of System Informatics Bjorner 2001 Perspectives of System Informatics Bjorner 2000 VDM '90. VDM and Z - Formal Methods in Software Development Bjorner 1990 VDM '87. VDM - A Formal Method at Work Bjorner 1987 Formal Methods in Programming and Their Applications Bjorner 1993 Perspectives of System Informatics Bjorner 1996 Abstract Software Specifications Bjorner 1980 The Vienna Development Method: The Meta-Language Bjorner 1978 12 knižných titulov