Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 201

Du sparer Spar kr. 60,00 med Shopping-fordele

Bog 6-8 hverdage (Sendes fra fjernlager) kr. 539,95

Leveringstid 6-8 hverdage (Sendes fra fjernlager)
Forventet levering 16-02-2023

Normalpriskr. 539,95

Medlemspriskr. 479,95

For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele.
Du kan prøve medlemskabet gratis i 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Format:: Bog, hæftet
Udgivelsesdato:: 01-08-2017
Sprog:: Engelsk
Sidetal:: 224

Læsernes anmeldelser

Tilføj til favoritliste

Send som gave

Skal vi pakke ind og sende som gave til en, du holder af? Vælg gaveindpakning i kurven. Læs mere

Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.

Vis mereVis mindre

Udgivelsesdato:: 01-08-2017

ISBN13:: 9783319661773

Vægt:: 322 g

Dybde:: 12 mm

Bredde:: 156 mm

Højde:: 234 mm

Forlag:: Springer

Format:: Hæftet

Vis mereVis mindre

Fandt du ikke hvad du søgte?

Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 201

Fandt du ikke hvad du søgte?

Denne bog findes i disse kategorier