Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Jim Davies
Kirjasarja: Lecture Notes in Computer Science, osa 4591
Tuote ei saatavilla
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Lisää tuote omalle toivelistallesi ja saat halutessasi ilmoituksen sähköpostiisi, kun tuotetta tulee saataville Antikvaariin!
Haetaan tuotteita...
Teosta "Integrated Formal Methods" 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
3540732101
9783540732105
Kieli
englanti
Alkuperäinen nimi
-
Kaikki tekijät
Jim Davies
Tuotekategoriat
Esittely
s:430:"This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.";
Aiheet
Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer Science.
Theory of Computation.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Programming Techniques.
Computers