Classify

An experimental classification web service

Powered by the Classify Web Service.

Summary

Title:
Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Author:
Dean, Neville; CoLogNET: The Computational Logic Portal
Editor:
Boute, R. T.; Dean, Neville
Formats:
   
Editions:
15
Total Holdings:
409
OCLC Work Id:
354299238
Record Link:
http://classify.oclc.org/classify2/ClassifyDemo?owi=354299238
DDC: Class Number Holdings Links
Most Frequent 005.131 318 Web Dewey
Edition: 23 005.1 27 Web Dewey
LCC: Class Number Holdings Links
Most Frequent QA76.6.F67 185 ClassWeb

Editions

Displaying 1 to 15 of 15
Title and AuthorLanguageFormatHoldings TagClass Number
TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsby CoLogNET/FME Symposium (2004 : Ghent, Belgium)eng 185082005.131 

(DDC 22)

050QA76.6.F67
TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsby TFM 2004 (2004 : Ghent, Belgium)eng 132082 LC Cataloged005.131 

(DDC 22)

050 LC CatalogedQA76.9.F67
TitleTeaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedingsby Dean, Nevilleeng 22082004
TitleTeaching formal methods : CoLog Net/FME symposium ; proceedingseng 16082510
082004
050 LC CatalogedQA76.9.F67
TitleTeaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedingsby Dean, Nevilleeng 14082005.1 

(DDC 23)

050QA76.758
TitleTeaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedingsby TFM 2004eng 13082005.1 

(DDC 23)

TitleTeaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedingsby TFM 2004 (2004 : Ghent, BE)eng 10050QA75.5
TitleTeaching formal methods : proceedingsund 6  
TitleTeaching formal methods : CologNET-FME Symposium, TFM 2004 : Ghent, Belgium, november 18-19, 2004 : proceedingsby TFM 2004 (2004. Gante, Bélgica)eng 2  
TitleTeaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsby Symposium on Teaching Formal Methods (Ghent, Belgium : 2004)eng 2082005.1 

(DDC 21)

TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingseng 2082004.071 

(DDC 22)

TitleTeaching formal methods : proceedingseng 2  
TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsby TFM 2004 (2004 : Ghent, Belgium)eng 1082004 

(DDC 22)

TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingseng 1050QA76.9.F67
082005.131 

(DDC 22)

050QA75.5
TitleTeaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedingsby CoLogNET/FME Symposium (2004: Ghent, Belgium)eng 1  
Displaying 1 to 15 of 15
.