Library of Academia Sinica


Home \| Help \| New Search \| 中文模式	AS Library Service

AUTHORS (1-4 of 4)

Spies, Katharina

1

book jacket

Formal systems specification : the RPC-memory specification case study

Berlin ; New York : Springer, c1996

c1996

PRINTED

Location: Information Sci. Lib.

LOCATION	CALL #	STATUS	OPACMSG	BARCODE
Inform. Sci. Series	Ser D4.2 F7235 LNCS 1169	AVAILABLE		30330000120498

2		Formal systems specification the RPC-memory specification case study Berlin ; New York : Springer, 1996 E - TOC / Resources	1996
		Location: Information Sci. Lib.

3		Proof technology and computation NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Amsterdam ; Washington, DC : IOS Press, c2006 E - TOC / Resources	c2006
		Location: 中央研究院

4		Proof technology and computation NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany) Amsterdam ; Washington, DC : IOS Press, c2006 E - TOC / Resources	c2006
		Location: 中央研究院

Home | Help | 中文模式