Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - 8 april 2015
Om omslag och titel inte matchar är det titeln som gäller

Christel Baier
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Pris
SEK 559

Beställningsvara

Förväntad leverans 24 dec - 1 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 8 april 2015
ISBN13 9783662466803
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 725
Mått 155 × 235 × 38 mm   ·   1,03 kg
Språk Franska  
Redaktör Baier, Christel
Redaktör Tinelli, Cesare

Fler produkter med Christel Baier

Visa alla

Se alt med Christel Baier ( t.ex. Pocketbok och Inbunden Bok )