Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

Taal EngelsEngels
E-book Adobe ePub DRM
E-book Computer Aided Verification Alexandra Silva
Libristo-code: 41014597
Uitgeverij Springer, juli 2021
This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33r... Volledige beschrijving
? points 11 b
4.43 €
Op voorraad Onmiddellijk te downloaden

Klanten kochten ook

Matinee Et La Veillee Villageoises, Ou Le Sabot Perdu, Divertissement En 2 Actes, En Vaudevilles Barre-P / Boek Gebonden (paperback)
common.buy 13.10 €
Le cahier de Gustave - Petits carreaux, 96p, A5 - Football Marseille / Kalender/agenda Agenda
common.buy 10.78 €
Volksthümliches Aus Graubünden Dietrich Jecklin / Boek Gebonden (paperback)
common.buy 19.26 €

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Aided Verification
Auteur Alexandra Silva, K. Rustan M. Leino
Taal Engels
Bindwijze E-book - Adobe ePub DRM
Datum van uitgifte 2021
EAN 9783030816889
Libristo-code 41014597
Uitgeverij Springer

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Computermodellering en -simulatie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
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

Dit vind je misschien ook interessant

Advances in Visual Computing George Bebis / E-book Adobe ePub DRM
common.buy 121.33 €
Early Virginia Immigrants, 1623-1666 (1912) George Cabell Greer / Boek Gebonden (paperback)
common.buy 34.38 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?