Normal view MARC view ISBD view

Formal methods : applications and technology : 11th international workshop, FMICS and 5th international workshop, PDMC, Bonn, Germany, Aug. 26-27 and Aug. 31, 2006 - - Berlin Springer 2007 - x,363 p. 23 cm - Lecture notes in computer science ; v.4346 .

ISBN: 3-540-70951-7

Subjects--Topical Terms:

Computer Science and Engineering
Production engineering-Computer programs-Congresses , Production engineering-Computer programs-Congresses , Industrial management-Data processing-Congresse

Universal Decimal Class. No.: 681.3.06:658.5For:11:06