Hoppa till sidans huvudinnehåll

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

729 kr

Beställningsvara. Skickas inom 10-15 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.

Produktinformation

  • Utgivningsdatum2015-06-02
  • Mått155 x 235 x 34 mm
  • Vikt937 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor610
  • FörlagSpringer International Publishing AG
  • ISBN9783319192482

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Automated Deduction -- CADE-23

Automated Deduction -- CADE-23

Nikolaj Bjørner, Viorica Sofronie-Stokkermans

729 kr

Perspectives of System Informatics

Perspectives of System Informatics

Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

729 kr

Active Object Languages: Current Research Trends

Active Object Languages: Current Research Trends

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

1 059 kr

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Frank de Boer, Antonio Cerone

799 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Nikolaj Bjørner, Andrei Voronkov

729 kr

Concurrency Verification
Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, 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

3 949 kr

Concurrency Verification
Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, 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, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich

1 329 kr

It's All About Coordination

It's All About Coordination

Frank de Boer, Marcello Bonsangue, Jan Rutten

729 kr

Lackeringskit DAS 75ml lack + pensel

Lackeringskit DAS 75ml lack + pensel

DAS

159 kr

Lera DAS 1kg vit

Lera DAS 1kg vit

DAS

89 kr