Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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 paketomatih Pošte Slovenije.

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655091
Price: 48.8 EUR
Availability: InStock
Author: Marcel Vinícius Medeiros Oliveira
ISBN: 9783642104510

12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Medeiros Oliveira

Jim Woodcock

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01655091

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2009

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symp... Celoten opis

Koda Libristo: 01655091

118 b

48.80 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

NoElle et Lui Alban Bourdy

Mehka

10.30 €

Gedichte in hochdeutscher und pfälzischer Mundart Franz von Kobell

Mehka

15.15 €

Pierre des fées du Maroc

binding.

10.80 €

Hemisferios

Knjiga

7.27 €

Differentialgeometrie, Topologie und Physik Matthias Delbrück

Trda

77.19 €

Das fröhliche Weihnachtsliederheft Renate Bruce-Weber

Note

12.72 €

La hija del Ganges Raluca Mirela Petrescu

Adobe ePub DRM

7.87 €

Conoce Peru Robin Johnson

Trda

25.96 €

Le système fiscal international : une construction conceptuelle et pragmatique Giard

Mehka

38.90 €

Přerušený klid - Islandská krimi Arnaldur Indridason

Trda

11.31 €

Comme un mendiant sur les quais de marbre Penblanc

Mehka

23.03 €

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.§The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. The symposium provided an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.