Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer
SKU: 40997221
Price: 59.9 EUR
Availability: InStock
Author: Constantin Enea
ISBN: 9783030112455

20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea

Ruzica Piskac

Taal

Engels

E-book Adobe ePub DRM

Libristo-code: 40997221

Uitgeverij Springer, januari 2019

This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Volledige beschrijving

Libristo-code: 40997221

145 b

59.90 €

Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

肚子隆隆 的 地震 (Cantonese Edition): 地震安全手冊 Heather L. Beal

Gebonden (paperback)

10.80 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification, Model Checking, and Abstract Interpretation

Auteur Constantin Enea, Ruzica Piskac

Taal

Engels

Bindwijze E-book - Adobe ePub DRM

Datum van uitgifte 2019

EAN 9783030112455

Libristo-code 40997221

Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling > Softwaretesten en softwareverificatie

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger