Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Integrated Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Elvira Albert
Libristo kod: 05147795
Nakladnici Springer International Publishing AG, kolovoz 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Cijeli opis
? points 125 b
51.76 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Surrender to the Fantasy Magik Markers / Audio Audio CD
common.buy 22.07 €
Гендер, культура и фукусимская катастрофа / Knjiga Tvrdi uvez
common.buy 22.18 €
Die italienische Plastik Wilhelm Bode / Knjiga Tvrdi uvez
common.buy 119.33 €
Perfektionismus im Schulkontext / Knjiga Meki uvez
common.buy 16.20 €
Recueil De Contes Populaires Grecs Anonymous / Knjiga Tvrdi uvez
common.buy 34.53 €
THE CURE MARCOS GENDRE / Knjiga Knjiga
common.buy 25.32 €
Borussia Mönchen Gladbach Holger Jenrich / Knjiga Meki uvez
common.buy 15.29 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Knjiga Meki uvez
common.buy 21.47 €
Boy's Abyss 11 Nana Umino / Knjiga Meki uvez
common.buy 7.38 €
Storm Child Fountain / Knjiga Meki uvez
common.buy 9.72 €
Zestaw Dress Me Up Top Model Sport 13808A / Knjiga Meki uvez
common.buy 6.27 €
Mia Moglie mi Tradisce Lara Steele / Knjiga Tvrdi uvez
common.buy 22.48 €
A2 Key for schools Trainer 2 / Knjiga Meki uvez
common.buy 42.44 €
Jetzt sag ich's Waltraut Haas / E-knjiga Adobe ePub DRM
common.buy 18.73 €
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Knjiga Meki uvez
common.buy 50.64 €
Dopamin Rowena Kong / Knjiga Meki uvez
common.buy 35.75 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Knjiga Tvrdi uvez
common.buy 26.94 €
Tajemství stříbrné klisny Julie Wald / Knjiga Tvrdi uvez
common.buy 8.50 €
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Knjiga Meki uvez
common.buy 16.40 €
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Knjiga Meki uvez
common.buy 12.86 €
Le Triomphe de la méthode Fauchere / Knjiga Tvrdi uvez
common.buy 11.34 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Knjiga Meki uvez
common.buy 15.59 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Knjiga Meki uvez
common.buy 13.06 €
Ein anarchistischer Bankier, 1 Audio-CD, 1 MP3 Fernando Pessoa / Audio Audio CD
common.buy 14.98 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Integrated Formal Methods
Autor Elvira Albert, Emil Sekerinski
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 390
EAN 9783319101804
ISBN 3319101803
Libristo kod 05147795
Nakladnici Springer International Publishing AG
Težina 6088
Dimenzije 155 x 235 x 22

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Solidarity in Health and Social Care in Europe W. Arts / Knjiga Meki uvez
common.buy 206.04 €
Sins of a Wicked Princess Anna Randol / Knjiga Meki uvez
common.buy 9.21 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Knjiga Knjiga
common.buy 20.96 €
Facilitator's & Trainer's Toolkit Artie Mahal / Knjiga Meki uvez
common.buy 23.09 €
Practical Spirituality and Human Development Ananta Kumar Giri / Knjiga Tvrdi uvez
common.buy 106.46 €
Brownies in the Attic S a Parks / Knjiga Meki uvez
common.buy 8.80 €
Black Ice Lorene Cary / Knjiga Meki uvez
common.buy 14.27 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Knjiga Meki uvez
common.buy 32.10 €
Paddling Idaho Greg Stahl / Knjiga Meki uvez
common.buy 25.42 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Knjiga Meki uvez
common.buy 16.70 €
Top
The Incomplete (Updated Edition) Robert Klanten / Knjiga Tvrdi uvez
common.buy 44.66 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Knjiga Meki uvez
common.buy 25.82 €
2 Life's Stories J L Albesa / Knjiga Meki uvez
common.buy 6.17 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Knjiga Meki uvez
common.buy 17.82 €
Letters and Papers Illustrative of the Reigns of Richard III and Henry VII James Gairdner / Knjiga Meki uvez
common.buy 32.10 €
Lonely Mystic Michael Ford / Knjiga Meki uvez
common.buy 15.79 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Knjiga Meki uvez
common.buy 19.34 €
Soccer Scenario Cards Darren Laver / Knjiga Meki uvez
common.buy 14.88 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Knjiga Meki uvez
common.buy 68.47 €
Cursive Alphabet Mike Stewart / Knjiga Meki uvez
common.buy 9.51 €
Perfect Real Estate Agent Blueprint Robby Trefethren / Knjiga Meki uvez
common.buy 17.21 €
No More Anxiety! Gladeana McMahon / E-knjiga Adobe ePub DRM
common.buy 33.72 €
Top
Empire of Cotton Sven Beckert / Knjiga Meki uvez
common.buy 14.48 €
Multimedia Modernism Julian Murphet / Knjiga Tvrdi uvez
common.buy 133.51 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?