Kapak Resmi

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Margaria, Tiziana. (Editör, http://id.loc.gov/vocabulary/relators/edt), Steffen, Bernhard. (Editör, http://id.loc.gov/vocabulary/relators/edt)
Materyal Türü: Elektronik Ekitap
Dil:English
Baskı/Yayın Bilgisi: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edisyon:1st ed. 2012.
Seri Bilgileri:Theoretical Computer Science and General Issues ; 7609
Konular:
Software engineering.
Programming languages (Electronic computers).
Operating systems (Computers).
Computers.
Computer logic.
Artificial intelligence.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Artificial Intelligence.
Online Erişim:https://doi.org/10.1007/978-3-642-34026-0
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Internet

https://doi.org/10.1007/978-3-642-34026-0

Benzer Materyaller