Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 38504817
Price: 92.85 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030945824

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Bernd Finkbeiner

Thomas Wies

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 38504817

Nakladnici Springer Nature Switzerland AG, siječanj 2022

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Cijeli opis

Libristo kod: 38504817

224 b

92.85 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski

Meki uvez

7.89 €

Lo que debe saber todo buen republicano Anónimo

Meki uvez

15.18 €

Ojo de Halcon: Seis dias en la vida de ... FRACTION

Meki uvez

15.48 €

Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy

Tvrdi uvez

66.72 €

Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar

Meki uvez

19.33 €

Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus

Tvrdi uvez

51.53 €

Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok

Tvrdi uvez

60.34 €

Der tolle Bomberg, 1 DVD Rolf Thiele

DVD

20.65 €

Le préfet et les collectivités Sut

Meki uvez

78.37 €

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.