FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Häftad, Engelska, 2015

Av Nikolaj Bjørner, Frank de Boer

739 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
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.

Produktinformation

  • Utgivningsdatum2015-06-02
  • Mått155 x 235 x undefined mm
  • FormatHäftad
  • SpråkEngelska
  • SerieProgramming and Software Engineering
  • Antal sidor610
  • FörlagSpringer International Publishing AG
  • ISBN9783319192482

Tillhör följande kategorier

Du kanske också är intresserad av

Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Nikolaj Bjørner, Viorica Sofronie-Stokkermans

739 kr

Intermezzo (svensk utgåva)
  • Nyhet

Intermezzo (svensk utgåva)

Sally Rooney

79 kr125 kr

Ö
  • Nyhet

Ö

Sara Bergmark Elfgren

79 kr125 kr

Perspectives of System Informatics

Perspectives of System Informatics

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

739 kr

Klanen
  • Nyhet
Del 1

Klanen

Pascal Engman

259 kr299 kr

Active Object Languages: Current Research Trends
Del 14360

Active Object Languages: Current Research Trends

Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan, Reiner Hahnle

1 049 kr

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

809 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Nikolaj Bjørner, Andrei Voronkov

739 kr

Den yttersta hemligheten
  • Nyhet
Del 6

Den yttersta hemligheten

Dan Brown

329 kr

Concurrency Verification

Concurrency Verification

Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul de Roever, Frank de Boer, Jozef Hooman

4 739 kr