Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 33397354
Price: 48.55 EUR
Availability: InStock
Author: Brijesh Dongol
ISBN: 9783030634605

Brijesh Dongol

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 33397354

Založba Springer Nature Switzerland AG, november 2020

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Celoten opis

Koda Libristo: 33397354

118 b

48.55 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La educación infantil que queremos GARCIA FERNANDEZ

Mehka

22.81 €

Fabrique littéraire de lieux autres Toma

Mehka

16.88 €

Jamais rien ne meurt Viet Thanh Nguyen

Mehka

10.85 €

Ardic Kutulu Set

Mehka

28.25 €

Royaume d`Europe Achim Roder

Mehka

14.37 €

La folle histoire du PSG - Nouvelle Edition DEGORRE-D Knjiga

Mehka

22.91 €

Jamais plus Colleen Hoover

Mehka

19.69 €

Z dans le bordel ! Israël Knjiga

Trda

20.80 €

Le sang et la pierre - ou la quete d'Alberic, il y a mille ans en Aquitaine Aubard Knjiga

Mehka

9.24 €

Bewegtes Lernen! Mathe Heike Beckmann

Preglednica

20.50 €

Kindeswohl und Elternrecht. Eine Untersuchung am Beispiel des Sozialen Frühwarnsystems Franziska Preuß

Mehka

21.00 €

State-of-the-Art und Bedarf von Business Intelligence Serdar Danis

Mehka

40.10 €

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.