Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007 Boca Raton, FL, USA, November 2007, Proceedings

Detail Cantuman Kembali

XML

Pernyataan Tanggungjawab

Pengarang

Michael Butler - Personal Name
Michael G. Hinchey - Personal Name

Edisi

No. Panggil

005.1 For

ISBN/ISSN

0302-9743

Subyek

Klasifikasi

005.1

GMD

Text

Bahasa

Inggris

Penerbit

Springer

Tahun Terbit

2007

Tempat Terbit

New York

Deskripsi Fisik

x, 386p.; 24 cm.

Lampiran Berkas

LOADING LIST...

Ketersediaan

LOADING LIST...