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: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer, Berlin
SKU: 02081960
Price: 45.0 EUR
Availability: InStock
Author: Juliano Iyoda
ISBN: 9783642410703

16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings

Juliano Iyoda

Leonardo de Moura

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 02081960

Založba Springer, Berlin, november 2012

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SB... Celoten opis

Koda Libristo: 02081960

109 b

45.00 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Damage David/Fripp Sylvian

Zvočni CD

9.90 €

Una historia divertida Emily Henry

Mehka

18.20 €

Finchen - Ein aufregendes Hundeleben - Band 2 Petra Gutkin

Mehka

7.68 €

Pornotopia. Playboy, architektura i biopolityka w czasach zimnej wojny Paul B. Preciado

Mehka

11.72 €

LA FUSION. MEMORIAS DE OFICINA GOMEZ

Knjiga

17.79 €

Die Formel 1 in Interlagos - Vol. 1. Vol.1 Marc J. Zimmermann

Mehka

19.41 €

La Comedie des Meprises William Shakespeare

Trda

16.88 €

Engelhart Ratgeber Jakob Wassermann

Mehka

15.16 €

How to Coach Your Child to Study: Time Management Orit Tinnue Perez

Mehka

7.27 €

Dictionnaire de Lempri're(le) Lawrence Norfolk

Mehka

11.32 €

Mission de la Cybele En Extreme- Orient: 1817-1818: Journal de Voyage Du Capitaine De Kergariou-A

Mehka

22.85 €

Doktor Barthel Buchplan Dresden und Umgebung

Preglednica

7.27 €

Cours d'histoire moderne François Guizot

Mehka

53.91 €

Höllisch heiß Britta Bendixen

Mehka

8.79 €

This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013.§The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.