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

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Elvira Albert
Koda Libristo: 05147795
Založba Springer International Publishing AG, avgust 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Celoten opis
? points 118 b
48.85 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Surrender to the Fantasy Magik Markers / Zvok Zvočni CD
common.buy 20.93 €
Perfektionismus im Schulkontext / Knjiga Mehka
common.buy 15.26 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Knjiga Mehka
common.buy 20.22 €
Mia Moglie mi Tradisce Lara Steele / Knjiga Trda
common.buy 21.13 €
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Film Blu-ray
common.buy 12.74 €
Missa Sancti Amandi, Partitur Joseph Haydn / Tiskani izdelki Note
common.buy 38.94 €
A2 Key for schools Trainer 2 / Knjiga Mehka
common.buy 40.35 €
Storm Child Fountain / Knjiga Mehka
common.buy 9.09 €
Гендер, культура и фукусимская катастрофа / Knjiga Trda
common.buy 20.83 €
Boy's Abyss 11 Nana Umino / Knjiga Mehka
common.buy 6.97 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Knjiga Mehka
common.buy 12.33 €
Recueil De Contes Populaires Grecs Anonymous / Knjiga Trda
common.buy 32.77 €
Le Triomphe de la méthode Fauchere / Knjiga Trda
common.buy 11.42 €
Die italienische Plastik Wilhelm Bode / Knjiga Trda
common.buy 112.88 €
Jetzt sag ich's Waltraut Haas / E-knjiga Adobe ePub DRM
common.buy 17.79 €
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Knjiga Mehka
common.buy 47.74 €
Dopamin Rowena Kong / Knjiga Mehka
common.buy 33.57 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Knjiga Mehka
common.buy 14.76 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Knjiga Trda
common.buy 27.10 €
Tajemství stříbrné klisny Julie Wald / Knjiga Trda
common.buy 7.88 €
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Knjiga Mehka
common.buy 16.48 €
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Knjiga Mehka
common.buy 12.43 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Elvira Albert, Emil Sekerinski
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2014
Število strani 390
EAN 9783319101804
ISBN 3319101803
Koda Libristo 05147795
Založba Springer International Publishing AG
Teža 6088
Mere 155 x 235 x 22

Kategorije

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 > Mathematical theory of computation
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

Solidarity in Health and Social Care in Europe W. Arts / Knjiga Mehka
common.buy 194.52 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Knjiga Knjiga
common.buy 21.13 €
Practical Spirituality and Human Development Ananta Kumar Giri / Knjiga Trda
common.buy 100.74 €
Brownies in the Attic S a Parks / Knjiga Mehka
common.buy 8.39 €
Facilitator's & Trainer's Toolkit Artie Mahal / Knjiga Mehka
common.buy 21.64 €
Sins of a Wicked Princess Anna Randol / Knjiga Mehka
common.buy 8.59 €
Black Ice Lorene Cary / Knjiga Mehka
common.buy 15.77 €
Computer Algebra in Scientific Computing Vladimir P. Gerdt / Knjiga Mehka
common.buy 53.20 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Knjiga Mehka
common.buy 18.30 €
2nd Chance James Patterson / Knjiga Mehka
common.buy 11.02 €
Cursive Alphabet Mike Stewart / Knjiga Mehka
common.buy 8.99 €
Multimedia Modernism Julian Murphet / Knjiga Trda
common.buy 127.25 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Knjiga Mehka
common.buy 16.88 €
2 Life's Stories J L Albesa / Knjiga Mehka
common.buy 5.86 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Knjiga Mehka
common.buy 24.47 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Knjiga Mehka
common.buy 65.03 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Knjiga Mehka
common.buy 30.24 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Knjiga Mehka
common.buy 15.77 €
Paddling Idaho Greg Stahl / Knjiga Mehka
common.buy 21.54 €
Empire of Cotton Sven Beckert / Knjiga Mehka
common.buy 13.14 €
THE ROMANS OF BRITAIN HENRY CHARLES COOTE / Knjiga Mehka
common.buy 33.88 €
Chapters Of Opera Henry Edward Krehbiel / Knjiga Mehka
common.buy 22.85 €
Elementary and Practical Treatise On Bridge Building. Squire Whipple / Knjiga Mehka
common.buy 26.49 €
Glasgow Sean Damer / Knjiga Mehka
common.buy 19.31 €

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?