Tools and Algorithms for the Construction and Analysis of Systems (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
280
Utgivningsdatum
2020-10-08
Förlag
Saint Philip Street Press
Medarbetare
Kordon, Fabrice / Huisman, Marieke
Illustrationer
Color illustrations
Dimensioner
279 x 216 x 15 mm
Vikt
654 g
Antal komponenter
1
Komponenter
1312:Standard Color 8.5 x 11 in or 280 x 216 mm Perfect Bound on White w/Gloss Lam
ISBN
9781013271205

Tools and Algorithms for the Construction and Analysis of Systems

av Bernhard Steffen, Fabrice Kordon, Marieke Huisman
Häftad,  Engelska, 2020-10-08
652
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 5 format & utgåvor
This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.
Visa hela texten

Passar bra ihop

  1. Tools and Algorithms for the Construction and Analysis of Systems
  2. +
  3. Co-Intelligence

De som köpt den här boken har ofta också köpt Co-Intelligence av Ethan Mollick (häftad).

Köp båda 2 för 842 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Bernhard Steffen, Fabrice Kordon, Marieke Huisman

Du kanske gillar