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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Methods and Software Engineering Michael Butler
Libristo kod: 09535572
Nakladnici Springer International Publishing AG, studeni 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Knjiga Knjiga
common.buy 15.39 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Knjiga Meki uvez
common.buy 22.68 €
Max von Schenkendorf E. Heinrich / Knjiga Meki uvez
common.buy 31.29 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Knjiga Tvrdi uvez
common.buy 12.65 €
Speculum Saxonum Ius municipale / Knjiga Tvrdi uvez
common.buy 5.86 €
Peche a la lune (La) DUBOIS / Knjiga Meki uvez
common.buy 8.70 €
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Knjiga Meki uvez
common.buy 41.62 €
Jak přemýšlí náš teenager? Tanith Careyová / Knjiga Meki uvez
common.buy 16.80 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Knjiga Meki uvez
common.buy 9.61 €
Top
Appuntamento a Positano Goliarda Sapienza / Knjiga Meki uvez
common.buy 13.87 €
Don Chisciotte in Sicilia Roberto Mandracchia / Knjiga Meki uvez
common.buy 17.51 €
Hunger auf Leben Brigitte Reimann / Knjiga Meki uvez
common.buy 7.38 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Knjiga Meki uvez
common.buy 22.47 €
Espiritualidad Islamica en Venezuela Nadya Ramdjan / Knjiga Meki uvez
common.buy 87.30 €
Auf dass wir klug werden Anja Zimmer / Knjiga Meki uvez
common.buy 16.30 €
Biotechs A Schneider / Knjiga Meki uvez
common.buy 12.65 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Knjiga Meki uvez
common.buy 31.29 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Knjiga Meki uvez
common.buy 29.16 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Knjiga Meki uvez
common.buy 14.57 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Knjiga Meki uvez
common.buy 25.21 €
TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE / Knjiga Tvrdi uvez
common.buy 18.02 €
De ejercicios con sor Isabél de Meester / Knjiga Meki uvez
common.buy 13.36 €
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Knjiga Meki uvez
common.buy 18.42 €
Herzvibrieren Josie Kju / Knjiga Meki uvez
common.buy 11.84 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 436
EAN 9783319254227
ISBN 3319254227
Libristo kod 09535572
Nakladnici Springer International Publishing AG
Težina 6964
Dimenzije 155 x 235 x 236

Kategorija

Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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
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

Neurobrucellosis Mehmet Turgut / Knjiga Tvrdi uvez
common.buy 100.87 €
Evolution Driven by Organismal Behavior Rui Diogo / Knjiga Tvrdi uvez
common.buy 34.12 €
Tecumseh's Last Stand John Peter Sugden / Knjiga Meki uvez
common.buy 24.40 €
Pripremamo
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Knjiga Tvrdi uvez
common.buy 57.01 €
Rival Truths Lindsay St Claire / Knjiga Meki uvez
common.buy 55.49 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Knjiga Tvrdi uvez
common.buy 41.11 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Knjiga Meki uvez
common.buy 39.29 €
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Knjiga Meki uvez
common.buy 103.10 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Knjiga Meki uvez
common.buy 10.83 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Knjiga Meki uvez
common.buy 13.06 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Knjiga Meki uvez
common.buy 7.69 €
Music Theory for Singers Level One SANDVIG / Knjiga Meki uvez
common.buy 26.53 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Knjiga Meki uvez
common.buy 14.47 €
Gwendoline's Harvest: A Novel... James Payn / Knjiga Meki uvez
common.buy 24.40 €
The Kama Sutra Vatsyayana / Knjiga Meki uvez
common.buy 14.88 €
Top
Ritual Baths Deborah Hanekamp / Knjiga Tvrdi uvez
common.buy 23.18 €
Voice Biomarkers Shinichi Tokuno / Knjiga Tvrdi uvez
common.buy 131.05 €
Grade 9-1 GCSE Chemistry: OCR Gateway Revision Guide with Online Edition CGP Books / Knjiga Meki uvez
common.buy 9.00 €
Successful Technological Integration for Competitive Advantage in Retail Settings Eleonora Pantano / Knjiga Tvrdi uvez
common.buy 211.57 €
Erich Von Manstein Benoit Lemay / Knjiga Tvrdi uvez
common.buy 41.21 €
Arimaspian Eye David L. Hall / Knjiga Tvrdi uvez
common.buy 49.11 €
Key Concepts in Health Psychology Ian Albery / Knjiga Tvrdi uvez
common.buy 106.13 €
Separation and the Very Young James Robertson / Knjiga Meki uvez
common.buy 27.94 €
Chaplains of ANZAC Dr Jennifer Betham-Lang / Knjiga Tvrdi uvez
common.buy 15.59 €

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?