Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Einar Broch Johnsen
Koda Libristo: 01663776
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Celoten opis
? points 118 b
48.76 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Knjiga Mehka
common.buy 28.26 €
Dançando tango em Istambul Melis Merih Kiliç / Knjiga Mehka
common.buy 41.79 €
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Knjiga Mehka
common.buy 38.76 €
Kmalu
Crimson Spell. Bd.5 Ayano Yamane / Knjiga Mehka
common.buy 8.47 €
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Knjiga Mehka
common.buy 39.27 €
Mallorca a mitjan segle XV : el sindicat i l'alçament for? / Knjiga Mehka
common.buy 30.79 €
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Knjiga Preglednica
common.buy 10.19 €
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Knjiga binding.
common.buy 10.49 €
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Knjiga Trda
common.buy 112.67 €
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Knjiga Mehka
common.buy 19.38 €
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Film Blu-ray
common.buy 12.61 €
Recht und Energie Peter Rosin / Knjiga Trda
common.buy 194.05 €
Die Geschichte von der 1002. Nacht, 8 Audio-CD Joseph Roth / Zvok Zvočni CD
common.buy 36.14 €

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Einar Broch Johnsen, Luigia Petre
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2013
Število strani 443
EAN 9783642386121
ISBN 3642386121
Koda Libristo 01663776
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 700
Mere 155 x 235 x 26

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Space groups (156) P3m1-(148) R-3 Pierre Villars / Knjiga Trda
common.buy 511.91 €
Progressive Development Arie S. Issar / Knjiga Mehka
common.buy 97.22 €
Safety of historical stone arch bridges Pieter Van Gelder / Knjiga Mehka
common.buy 95.00 €
Mentalizing in Arts Therapies Marianne Verfaille / Knjiga Trda
common.buy 191.73 €
Top
Stalin Edvard Radzinsky / Knjiga Mehka
common.buy 15.44 €
Blaze and Thunderbolt C. W. Anderson / Knjiga Mehka
common.buy 7.87 €
Inside Gitmo Gordon Cucullu / Knjiga Mehka
common.buy 19.88 €
Meetings with Remarkable Women Lenore Friedman / Knjiga Mehka
common.buy 27.35 €
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Knjiga Mehka
common.buy 16.65 €
Free Thoughts on Despotic and Free Governments Joseph Townsend / Knjiga Trda
common.buy 32.70 €
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook Kapoo Stem / Knjiga Mehka
common.buy 14.02 €
Racism, Culture, Markets John Gabriel / Knjiga Trda
common.buy 264.23 €
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Knjiga Mehka
common.buy 12.31 €
Value of Systems and Complexity Sciences for Healthcare JOACHIM P STURMBERG / Knjiga Mehka
common.buy 97.22 €
Tocqueville Khaled Mattawa / Knjiga Mehka
common.buy 12.31 €
Exponential Families of Stochastic Processes Uwe Küchler / Knjiga Trda
common.buy 145.69 €
Learn Power BI Greg Deckler / Knjiga Mehka
common.buy 42.60 €
Awakening Power Sat Dharma / Knjiga Mehka
common.buy 14.73 €
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Knjiga Mehka
common.buy 9.78 €
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Knjiga Mehka
common.buy 110.55 €
Global Business Strategy Cornelis A. de Kluyver / Knjiga Mehka
common.buy 27.15 €
Of Lands High and Low Martha Keyes / Knjiga Mehka
common.buy 12.31 €
Anji's Story (Individual stories from WISH YOU WERE HERE!, Book 6) Lynn Russell / E-knjiga Adobe ePub DRM
common.buy 5.85 €
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Knjiga Mehka
common.buy 36.84 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?