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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

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

Formal Methods - The Next 30 Years

Name: Formal Methods - The Next 30 Years
Brand: Springer Nature Switzerland AG
SKU: 24519927
Price: 51.56 EUR
Availability: InStock
Author: Maurice ter Beek
ISBN: 9783030309411

Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings

Maurice ter Beek

Annabelle McIver

José N. Oliveira

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 24519927

Nakladnici Springer Nature Switzerland AG, rujan 2019

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, hel... Cijeli opis

Libristo kod: 24519927

125 b

51.56 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Archiv fur Geschichte des Buchwesens, Band 28, Archiv fur Geschichte des Buchwesens (1987) Monika Estermann

Tvrdi uvez

168.34 €

27 divů světa 02 - DVD pošeta

Video

1.60 €

Revue de littérature comparée - N°4/2006

Meki uvez

19.77 €

Les Mangeurs de nuit Marie Charrel

Meki uvez

12.20 €

Terpentín Lukáš Cabala

Tvrdi uvez

15.84 €

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.