Formal methods and software engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings / Toshiaki Aoki, Kenji Taguchi (eds.).

By:

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 7635. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, [2012]Description: xiv,512p.: illISBN:

ISSN:

Subject(s):

Genre/Form:

LOC classification:

Online resources:

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Call number	Status	Barcode
Books	DeKUT Main Campus Library General Stacks	DeKUT Main Campus Library	QA 76.9 .F67 F6 (Browse shelf(Opens below))	Available	2020/41088

Includes bibliographical references and author index.

Mode of access: World Wide Web.

There are no comments on this title.

to post a comment.

Back to results

DeKUT Library