Free delivery for orders over 69.99 euro

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 3.99 € DPD point 3.49 € GLS courier 4.99 € GLS point 3.99 € Croatian Post 4.99 € Overseas courier 4.99 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer, Berlin
SKU: 43632546
Price: 41.13 EUR
Availability: InStock
Author: Constantin Enea
ISBN: 9783031377051

35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Constantin Enea

Akash Lal

Language

English

Book Paperback

Libristo code: 43632546

Publishers Springer, Berlin, September 2023

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the... Full description

Libristo code: 43632546

100 b

41.13 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

BDSM-Bibel Tim Sodermanns

Paperback

12.56 €

Charleville-Mezie Sedan1:25 000

Map

16.58 €

Rouge venin Gisèle RUELLE

Paperback

11.26 €

Migräne Doc Dagny Holle-Lee

Paperback

21.82 €

Modernes Marketing Marie Fröhlich

Hardback

34.69 €

Nicht ganz sauber Justyna Polanska

Adobe ePub DRM

5.12 €

Lucia Y El Doctor Pez Armine Bonn

Adobe ePub DRM

3.21 €

Walka kilogramów czyli męska otyłość Anna Rumocka-Woźniakowska

Paperback

9.34 €

Pays Chalet Livre de coloriage: Beau pays Chalets, livre de coloriage et d'apprentissage amusant pour les enfants (60 pages et 30 images) Rose Press House

Paperback

8.54 €

Dans la peau du Soldat inconnu Guéno

Paperback

7.53 €

Wandel Von Der Telekommunikation Zu Unified Communications Ralf Lehmann

Paperback

54.70 €

Mémoires Secrets Pour Servir ? L'histoire De La Republique Des Lettres En France, Depuis Mdcclxii Jusqu'? Nos Jours; Ou, Journal D'un Observateur, ... Mouffle D'Angerville

Paperback

25.04 €

Golem Gustav Meyrink

Paperback

13.07 €

Temoin de la Deseducation Nationale Jean-Noel Robert

Paperback

25.13 €

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023.The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows:Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis;Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.