- 5 resultaten
laagste prijs: € 51,53, hoogste prijs: € 74,35, gemiddelde prijs: € 60,87
1
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Wei Zhang
bestellen
bij hive.co.uk
£ 55,24
(ongeveer € 64,84)
bestellen
Details en verzending
Gesponsorde link
Wei Zhang:

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - nieuw boek

2016, ISBN: 9783662491225

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, U… Meer...

No. 9783662491225. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
2
Verification, Model Checking, and Abstract Interpretation - Barbara Jobstmann; K. Rustan M. Leino
bestellen
bij Springer.com
€ 59,49
bestellen
Details en verzending
Gesponsorde link

Barbara Jobstmann; K. Rustan M. Leino:

Verification, Model Checking, and Abstract Interpretation - nieuw boek

ISBN: 9783662491225

Computer Science; Logics and Meanings of Programs; Software Engineering; Computer Communication Networks; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Program… Meer...

  - Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten
dichtslaan (X)
3
bestellen
bij lehmanns.de
€ 74,35
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Barbara Jobstmann; K. Rustan M. Leino:
Verification, Model Checking, and Abstract Interpretation - nieuw boek

2015

ISBN: 9783662491225

17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heide… Meer...

Verzendingskosten:Download sofort lieferbar. (EUR 0.00)
dichtslaan (X)
4
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Michiel Steyaert
bestellen
bij hive.co.uk
£ 45,89
(ongeveer € 54,13)
bestellen
Details en verzending
Gesponsorde link
Michiel Steyaert:
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - nieuw boek

2016, ISBN: 9783662491225

; PDF \ Michiel Steyaert; Computing > Computer programming / software development, Springer Netherlands

  - No. 9783662491225 Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten, exclusief verzendingskosten
dichtslaan (X)
5
bestellen
bij hive.co.uk
£ 45,89
(ongeveer € 51,53)
bestellen
Details en verzending
Gesponsorde link
H.P. Rossmanith:
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - nieuw boek

2016, ISBN: 9783662491225

; PDF; Computing > Computer programming / software development, Springer Netherlands

  - No. 9783662491225. Verzendingskosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Verification, Model Checking, and Abstract Interpretation
auteur:
Titel:
ISBN:

9783662491225

Gedetalleerde informatie over het boek. - Verification, Model Checking, and Abstract Interpretation


EAN (ISBN-13): 9783662491225
Verschijningsjaar: 2016
Uitgever: Springer Berlin Heidelberg

Boek bevindt zich in het datenbestand sinds 2017-04-16T20:51:00+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-03-08T20:00:06+01:00 (Amsterdam)
ISBN/EAN: 9783662491225

ISBN - alternatieve schrijfwijzen:
978-3-662-49122-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: rossmanith, wei zhang
Titel van het boek: petersburg, abstract usa

Gegevens van de uitgever

Auteur: Barbara Jobstmann; K. Rustan M. Leino
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Uitgeverij: Springer; Springer Berlin
558 Bladzijden
Verschijningsjaar: 2015-12-29
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 558 p. 123 illus. in color.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; cloud computing; complexity; distributed systems; logic model checking; timed automata; concurrency; constraint-based reasoning; formal verification; hybrid systems; massive parallelism; parallelism; reactive synthesis; robustness; SAT-solvers; simulations/bisimulations; software testing; software verification; swarm verification; symbolic execution; weighted automata; C; Computer Science Logic and Foundations of Programming; Software Engineering; Computer Communication Networks; Formal Languages and Automata Theory; Theory of Computation; Compilers and Interpreters; Computer Science; Software Engineering; Netzwerk-Hardware; Compiler und Übersetzer; BC

Abstract Interpretation.- Abstraction.- Hybrid and Timed Systems.- Dynamic and Static Verification.- Probabilistic Systems.- Concurrent Programs.- Parameterized and Component-Based Systems.- Solver Improvements.
Includes supplementary material: sn.pub/extras

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783031249495 Verification, Model Checking, and Abstract Interpretation (Cezara Dragoi; Michael Emmi; Jingbo Wang)

< naar Archief...