Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

Advanced Search

There is no item/copy for this title yet

Image of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II /

SpringerLink (Online service) - Personal Name
Steffen, Bernhard. - Personal Name

Tidak Tersedia Deskripsi

Ketersediaan

Tidak ada salinan data

Informasi Detil

No. Panggil	-
Jilid	-
Edisi	-
ISBN/ISSN	9783642340321
Subyek	Computer science.
Kata Kunci	-
DDC	5.1
TYPE	EBK
Bahasa	English
Penerbit	: .,
Deskripsi Fisik	XVI, 361 p. 129 illus.online resource.
Info Detil Spesifik	-

Literature Searching Service (LSS)

Hard copy atau foto copy dari buku ini dapat diberikan dengan syarat ketentuan berlaku, jika berminat, silahkan hubungi via telegram (Chat Services LSS)

Informasi

Anda harus login sebelum Booking Buku dan memberikan komentar