Lokasi: CCSTOOL2 : an expansion, minimization, and verification toolfor finite state CCS Descriptions

Main Author:	Rangelrooij, A. van (-)
Format:	Book
Bahasa:	eng
Terbitan:	c Eindhoven: Eindhoven University of Technology, Faculty of Electrical Engineering, 1994
Edition:	-
Subjects:	Computer programs-verification. Algorithms. Data structures (computer science). Formal languages-semantics. Formal languages-syntax
Online Access:	http://kin.perpusnas.go.id/DisplayData.aspx?pId=22766&pRegionCode=ITSSBY&pClientId=703

Koleksi	Katalog Perpustakaan Institut Teknologi Sepuluh Nopember
Gedung	Perpustakaan Institut Teknologi Sepuluh Nopember
Institusi	Institut Teknologi Sepuluh Nopember Surabaya
Kota	KOTA SURABAYA
Provinsi	JAWA TIMUR
Kontak	Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini.