Verified Software: Theories, Tools, Experiments4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

Advanced Search

There is no item/copy for this title yet

Image of Verified Software: Theories, Tools, Experiments4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /

SpringerLink (Online service) - Personal Name
Müller, Peter. - Personal Name
Podelski, Andreas. - Personal Name

Tidak Tersedia Deskripsi

Ketersediaan

Tidak ada salinan data

Informasi Detil

No. Panggil	-
Jilid	-
Edisi	-
ISBN/ISSN	9783642277054
Subyek	Computer science.
Kata Kunci	-
DDC	5.1
TYPE	EBK
Bahasa	English
Penerbit	: .,
Deskripsi Fisik	XI, 326p.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