Tools

LEADER 02097cam a22004814a 4500

001 ocm69983491;

003 OCoLC;

005 20141211191442.0;

008 060606s2006 gw a b 101 0 eng c;

016 7 a| 9794405212| GyFmDB;

020 a| 3540343040 (pbk.);

020 a| 9783540343042;

029 0 a| OHXb| har060059458;

035 a| (Sirsi) o69983491;

035 a| (OCoLC)69983491;

042 a| pcc;

049 a| EREE;

050 4 a| QA76.9.F67b| I581 2006;

072 7 a| QA2| lcco;

111 2 a| International School on Formal Methods for the Design of Computer, Communication, and Software Systemsn| (6th :d| 2006 :c| Bertinoro, Italy)?| UNAUTHORIZED;

245 10 a| Formal methods for hardware verification :b| 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /c| Marco Bernardo, Alessandro Cimatti (eds.).;

246 30 a| SFM 2006;

300 a| vi, 242 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 3965.a| Tutorial;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Integrated circuitsx| Verificationv| Congresses.=| ^A413570;

700 1 a| Cimatti, Alessandro.=| ^A695679;

700 1 a| Bernardo, Marco.=| ^A565417;

830 0 a| Lecture notes in computer science.p| Tutorial.=| ^A583079;

830 0 a| Lecture notes in computer sciencev| 3965.=| ^A466336;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060059458c| 44.94 EUR;

938 a| Baker & Taylorb| BKTYc| 54.95d| 54.95i| 3540343040n| 0006795189s| active;

980 a| 2006-08-02b| 54.95d| 0e| 52.2f| 934945;

596 a| 1;

998 a| 1049193;

999 a| QA76.9.F67 I581 2006w| LCc| 1i| 30372013598138d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $52.20r| Ys| Yt| JGESBKu| 8/9/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti (eds.).

Author/creator	International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Other author	Cimatti, Alessandro.
Other author	Bernardo, Marco.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	vi, 242 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Congresses. Integrated circuits--Verification. --Congresses.

Portion of title	SFM 2006
Series	Lecture notes in computer science, 0302-9743 ; 3965. Tutorial Lecture notes in computer science. Tutorial. ^A583079 Lecture notes in computer science 3965. ^A466336
ISBN	3540343040 (pbk.)
ISBN	9783540343042

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.F67 I581 2006	✔ Available	Place Hold

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / Marco Bernardo, Alessandro Cimatti (eds.).

Click here for more information about this title

Availability