Tools

LEADER 03183cas a2200757 a 4500

001 ssj0015911;

003 WaSeSS;

005 20260712090213.0;

006 m d ;

007 cr n ;

008 991206c19899999enkbr pss 0 0eng c;

010 a| 00227046;

015 a| GBB5G35982| bnb;

016 7 a| 0130894402| Uk;

022 a| 1433-299X;

023 0 a| 0934-5043;

029 1 a| AU@b| 000022037974;

029 1 a| AU@b| 000043824088;

029 1 a| AU@b| 000044061487;

029 1 a| AU@b| 000044918550;

029 1 a| AU@b| 000045705264;

029 1 a| AU@b| 000054294293;

029 1 a| NZ1b| 16232663;

029 1 a| NZ1b| 5923292;

029 1 a| OCLCSb| 7273;

029 1 a| OCLCSb| OP-26148;

029 1 a| UKMGBb| 013089440;

029 1 a| AU@b| 000069483275;

030 a| FACME5;

035 a| (WaSeSS)ssj0015911;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA75.5;

082 04 a| 004.05;

130 0 a| Formal aspects of computing (Online)?| UNAUTHORIZED;

210 0 a| Form. asp. comput.b| (Internet);

222 0 a| Formal aspects of computingb| (Internet);

245 10 a| Formal aspects of computingh| [electronic resource].;

246 1 a| Formal aspects of computing :b| applicable formal methods;

260 a| London :b| Springer Verlag;

310 a| Bimonthly,b| 2008-;

321 a| Quarterly;

362 1 a| Began with v. 1, no. 1 (Mar. 1989).;

506 a| Available only to authorized users.;

530 a| Also available in print.;

538 a| Mode of access: World Wide Web.;

550 a| "Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science.";

588 0 a| Volume 1, issue 1 (March 1989); title from journal contents page (SpringerLink website, viewed Nov. 5, 2009).;

588 1 a| Volume 33, issue 2 (March 2021) (viewed July 15, 2021).;

650 0 a| Computer sciencev| Periodicals.=| ^A601264;

655 0 a| Electronic journals.=| ^A353035;

850 a| DLC;

710 2 a| British Computer Society.b| Specialist Group in Formal Aspects of Computing Science.=| ^A601291;

710 2 a| ACM Digital Library.=| ^A534338;

856 40 z| Click here for full textu| http://JW3MH2CM6N.search.serialssolutions.com/?V=1.0&L=JW3MH2CM6N&S=JCs&C=FORMASPOFC&T=marc;

947 a| (OCoLC)42939863;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER123;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL79;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC61;

596 a| 1 3 4;

998 a| 3882624;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3882624-1001l| JNETm| JOYNERr| Ys| Yt| JNESSJOu| 12/31/2015x| EJOURNALz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3882624-2001l| HSLELECm| HSLr| Ys| Yt| HELECu| 12/31/2015x| EJOURNALz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3882624-3001l| MNETm| JMUSICr| Ys| Yt| MNESSJOu| 12/31/2015x| EJOURNALz| JERESOURCE;

Formal aspects of computing

Other author	British Computer Society. Specialist Group in Formal Aspects of Computing Science.
Other author	ACM Digital Library.
Format	Electronic
Publication Info	London : Springer Verlag
Supplemental Content	Click here for full text
Subjects	Computer science--Periodicals.

Uniform title	Formal aspects of computing (Online)
Variant title	Formal aspects of computing : applicable formal methods
Frequency	Bimonthly, 2008-
Access restriction	Available only to authorized users.
Other forms	Also available in print.
Technical details	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."
Source of description	Volume 1, issue 1 (March 1989); title from journal contents page (SpringerLink website, viewed Nov. 5, 2009).
Source of description	Volume 33, issue 2 (March 2021) (viewed July 15, 2021).
Issued in other form	Print version: Formal aspects of computing 0934-5043
Genre/form	Electronic journals.
LCCN	00227046
ISSN	1433-299X

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Formal aspects of computing

Click here for more information about this title

Availability