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.

Formal Methods

Name: Formal Methods
Brand: Springer Nature Switzerland AG
SKU: 37633220
Price: 106.81 EUR
Availability: InStock
Author: Naijun Zhan
ISBN: 9783030908690

Naijun Zhan

Corina Pasareanu

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 37633220

Založba Springer Nature Switzerland AG, november 2021

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, hel... Celoten opis

Koda Libristo: 37633220

259 b

106.81 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Il Diritto Di Sciopero E Il Contratto Di Lavoro (1907) Francesco Carnelutti

Mehka

20.16 €

Co-construction entre Idéalisme et Réalité Mounir

Mehka

22.79 €

Svatí charismatici - Jak sloužit v moci Boží Patrick Reis

Mehka

9.67 €

Après la pluie, le Beau Temps Comtesse de Segur

Adobe ePub DRM

14.62 €

Consultor Para O Corretor De Im veis De Sucesso Amero Montenee

Mehka

17.84 €

giardini di Palazzo Giacomelli Luciana Crosato Larcher

Mehka

14.31 €

Nebojte se klasiky! 10 Antonín Dvořák Rusalka Luděk Munzar; Klára Sedláčková Oltová; Ilja Racek; Antonín Dvořák

Zvočni CD

7.25 €

AUTOANALISIS CAVALIERE

Mehka

11.69 €

Trichoderma Jaimin Pandya

Mehka

22.68 €

modernen Vater der Antike Annette M. Baertschi

Trda

158.75 €

Traite Sur l'Hydrophobie Ou Rage, Moyen de Prevenir Et de Guerir Cette Maladie BUISSON-F

Mehka

12.09 €

LA MÚSICA Y LOS NÚMEROS ELI MAOR

Mehka

20.06 €

Fundamenta Krestomatio L.L. Zamenhof

Mehka

16.63 €

Fiel a Si Misma Danielle Steel

Mehka

11.69 €

Magie der Natur: Eine Revolutions-Geschichte Caroline De La Motte Fouque

Mehka

10.58 €

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections named: Invited Presentations. - Interactive Theorem Proving, Neural Networks & Active Learning, Logics & Theory, Program Verification I, Hybrid Systems, Program Verification II, Automata, Analysis of Complex Systems, Probabilities, Industry Track Invited Papers, Industry Track, Divide et Impera: Efficient Synthesis of Cyber-Physical System.