Formal Methods: Foundations and Applications
15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Rohit Gheyi
Kirjasarja: Lecture Notes in Computer Science, osa 7498
Tuote ei saatavilla
Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Formal Methods: Foundations and Applications" ei välttämättä ole tällä hetkellä saatavilla Antikvaarista tai teoslistamme on vielä puutteellinen. Katsothan samankaltaiset tuotteet sekä alempaa löytyvät tuote-ehdotuksemme teokseen liittyen. Voit myös lisätä tämän teoksen toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotteita tulee saataville.
Siirry tuotehakuun
Samankaltaiset tuotteet
Tuotteita ei löytynyt. Voit selailla kirjailijan teoksia klikkaamalla kirjailijan nimeä tai etsi muita kirjoja hakukoneemme avulla.
Tiedot
Kustantaja/julkaisija
Springer Berlin Heidelberg
Sidosasu
ISBN
364233296X
9783642332968
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Rohit Gheyi
Tuotekategoriat
Esittely
s:570:"This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.";
Aiheet
Computer science.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Management information systems.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Computer Science, general.
Logic design.
Information Systems.
Computers