Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

Advanced Search

There is no item/copy for this title yet

Image of Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers /

SpringerLink (Online service) - Personal Name
Steffen, Bernhard. - Personal Name
Margaria, Tiziana. - Personal Name
Knoop, Jens. - Personal Name
Schreiner, Dietmar. - Personal Name

Tidak Tersedia Deskripsi

Ketersediaan

Tidak ada salinan data

Informasi Detil

No. Panggil	-
Jilid	-
Edisi	-
ISBN/ISSN	9783642347818
Subyek	Computer science.
Kata Kunci	-
DDC	6.3
TYPE	EBK
Bahasa	English
Penerbit	: .,
Deskripsi Fisik	XII, 261 p. 94 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