Вы здесь

Главная

King S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Type-Constrained Generics for Z 2000 Valentine S. H., Toyn I., Stepney S., King S. Lecture Notes in Computer Science 21.10.2000
СТ Typechecking Z 2000 Toyn I., Valentine S. H., Stepney S., King S. Lecture Notes in Computer Science 21.10.2000
СТ Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software 2001 Foulger D., King S. Lecture Notes in Computer Science 10.06.2001

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ ZB 2000: Formal Specification and Development in Z and B: Proc./First Intern. Conf. of B and Z Users, York, UK, August-September 2000 2000 Lecture Notes in Computer Science
  1. Bowen J. P.
  2. Dunne S.
  3. Galloway A.
  4. King S.
 21.10.2000
СБ ZB 2003 - Formal Specification and Development in Z and B: Proc./Third Intern. Conf. of B and Z Users, Turku, Finland, June 2003 2003 Lecture Notes in Computer Science
  1. Bert D.
  2. Bowen J. P.
  3. King S.
  4. Walden M.
 20.06.2003
СБ ZB 2005: Formal Specification and Development in Z and B: Proc./4th International Conference of B and Z Users. Guildford, UK, April 2005 2005 Lecture Notes in Computer Science
  1. Treharne H.
  2. King S.
  3. Henson M.
  4. Schneider S.
 19.05.2005