FM 2015: Formal Methods 1
bokomslag FM 2015: Formal Methods
Data & IT

FM 2015: Formal Methods

Nikolaj Bjrner • Frank De Boer

Pocket

1009:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 610 sidor
  • 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
  • Författare: Nikolaj Bjrner, Frank De Boer
  • Illustratör: Bibliographie
  • Format: Pocket/Paperback
  • ISBN: 9783319192482
  • Språk: Engelska
  • Antal sidor: 610
  • Utgivningsdatum: 2015-06-02
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Viorica Sofronie-Stokkermans Nikolaj ...

    Pocket

    1009:-
  2. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    1009:-
  3. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nikolaj Bjrner

    Pocket

    1009:-
  4. bokomslag Security Sector Reform and Citizen Security

    Security Sector Reform and Citizen Se...

    John De Boer Robert Muggah

    Inbunden

    579:-
  5. bokomslag Software Engineering 2

    Software Engineering 2

    Dines Bjrner

    Pocket

    1159:-
  6. bokomslag Foundation Flash Applications for Mobile Devices

    Foundation Flash Applications for Mob...

    Richard Leggett, Weyert De Boer, Scott Janousek

    Pocket

    1059:-
  7. bokomslag Schediasma Historico Geographicum De Varegis, Heroibus Scandianis Et Primis Russiae Dynastis...

    Schediasma Historico Geographicum De ...

    Erik Julius Bjrner

    Inbunden

    509:-
  8. bokomslag Beta and Gamma Ray Spectroscopy: Series in Physics

    Beta and Gamma Ray Spectroscopy: Seri...

    Kai Siegbahn, J De Boer, H Brinkman

    Inbunden

    1719:-
  9. bokomslag Security Sector Reform and Citizen Security

    Security Sector Reform and Citizen Se...

    John De Boer Robert Muggah

    Pocket

    149:-
  10. bokomslag But First I Caught a Monster

    But First I Caught a Monster

    Kees De Boer Tjibbe Veldkamp

    Inbunden

    159:-

Andra av samma författare

  1. bokomslag Perspectives of System Informatics

    Perspectives of System Informatics

    Nikolaj Bjrner, Irina Virbitskaite, Andrei Voronkov

    Pocket

    1009:-
  2. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Antonio Cerone Frank De Boer

    Pocket

    1119:-
  3. bokomslag Active Object Languages: Current Research Trends

    Active Object Languages: Current Rese...

    Frank De Boer, Ferruccio Damiani, Reiner Hhnle, Einar Broch Johnsen, Eduard Kamburjan

    Pocket

    1169:-
  4. bokomslag It's All About Coordination

    It's All About Coordination

    Frank De Boer, Marcello Bonsangue, Jan Rutten

    Pocket

    1009:-
  5. bokomslag Automated Deduction -- CADE-23

    Automated Deduction -- CADE-23

    Viorica Sofronie-Stokkermans Nikolaj ...

    Pocket

    1009:-
  6. bokomslag Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Int...

    Andrei Voronkov Nikolaj Bjrner

    Pocket

    1009:-