Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
882,95 kr.

Bag om Frontiers of Combining Systems

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;

Vis mere

Sprog:
Engelsk

ISBN:
9783319242453

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
357

Udgivet:
12. november 2015

Udgave:
12015

Størrelse:
155x235x20 mm.

Vægt:
5679 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 10. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK WEEK
882,95 kr. + Fragt
~~882,95 kr.~~

Medlemspris

832,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Frontiers of Combining Systems

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;

Brugerbedømmelser af Frontiers of Combining Systems

Andre købte også..

Find lignende bøger

Bogen Frontiers of Combining Systems findes i følgende kategorier:

Business og læring > Computer og IT

Frontiers of Combining Systems - Bog

Beskrivelse af Frontiers of Combining Systems

Brugerbedømmelser af Frontiers of Combining Systems

Gør som tusindvis af andre bogelskere