Title Formal aspects of computing

Published London : Springer Verlag Began with v. 1, no. 1 (Mar. 1989)

Online access available from: ProQuest Central    01 May 2002 - 31 Jan. 2019 View Resource Record   Springer Online Journal Archives    01 Apr. 1996 - 31 Dec. 1996 View Resource Record   SciTech Premium Collection    01 May 2002 - 31 Jan. 2019 View Resource Record   ACM Digital Library    01 Mar. 1989- View Resource Record

Copies

Description Online resource Notes Mode of access: World Wide Web Issuing Body "Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science." Notes Volume 1, issue 1 (March 1989); title from journal contents page (SpringerLink website, viewed Nov. 5, 2009) Volume 33, issue 2 (March 2021) (viewed July 15, 2021) Subject Computer science -- Periodicals Form Electronic journal Author British Computer Society. Specialist Group in Formal Aspects of Computing Science LC no. 00227046 ISSN 1433-299X 0934-5043

ABBREV TI Form. asp. comput. (Internet) OTHER TI Formal aspects of computing (Internet) Other Titles Formal aspects of computing : applicable formal methods

  Permalink