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 €.

Verified Software. Theories, Tools and Experiments

Name: Verified Software. Theories, Tools and Experiments
Brand: Springer, Berlin
SKU: 47701896
Price: 55.93 EUR
Availability: InStock
Author: Jonathan Protzenko
ISBN: 9783031866944

16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

Jonathan Protzenko

Azalea Raad

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 47701896

Nakladnici Springer, Berlin, studeni 2024

This book constitutes the refereed proceedings of the 16th International Conference on Verified Soft... Cijeli opis

Libristo kod: 47701896

135 b

55.93 €

Vanjske zalihe u manjem broju Šaljemo za 11-15 dana

Do 30 dana za povrat

Kupci su kupili i

Reichsgedanke des staufischen Kaiserhauses Mario Krammer

Meki uvez

61.71 €

This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14 15, 2024.

The 6 full papers, as well as one invited paper, were carefully reviewed and selected for inclusion in the book. The conference received 6 submissions this year. The papers deal with the interaction of theory development, tool evolution and experimental validation in science and technology of software verification.