Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Methods and Software Engineering

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

Język AngielskiAngielski
Książka Miękka
Książka Formal Methods and Software Engineering Michael Butler
Kod Libristo: 09535572
Wydawnictwo Springer International Publishing AG, listopad 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Cały opis
? points 125 b
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Książka Miękka
common.buy 171.38 zł
Max von Schenkendorf E. Heinrich / Książka Miękka
common.buy 135.30 zł
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Książka Miękka
common.buy 116.44 zł
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Książka Twarda
common.buy 54.73 zł
Peche a la lune (La) DUBOIS / Książka Miękka
common.buy 38.43 zł
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Książka Książka
common.buy 68.36 zł
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Książka Miękka
common.buy 97.16 zł
Jak přemýšlí náš teenager? Tanith Careyová / Książka Miękka
common.buy 72.77 zł
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Książka Miękka
common.buy 39.76 zł
Appuntamento a Positano Goliarda Sapienza / Książka Miękka
common.buy 62.21 zł
Don Chisciotte in Sicilia Roberto Mandracchia / Książka Miękka
common.buy 75.33 zł
Biotechs A Schneider / Książka Miękka
common.buy 54.93 zł
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Książka Miękka
common.buy 109.87 zł
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Książka Miękka
common.buy 55.65 zł
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Książka Miękka
common.buy 93.78 zł
Hunger auf Leben Brigitte Reimann / Książka Miękka
common.buy 31.87 zł
De ejercicios con sor Isabél de Meester / Książka Miękka
common.buy 54.52 zł
La Peor Seqora del Mundo Francisco Hinojosa / Książka Miękka
common.buy 26.64 zł
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Książka Miękka
common.buy 69.80 zł
Herzvibrieren Josie Kju / Książka Miękka
common.buy 51.14 zł
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Książka Miękka
common.buy 135.30 zł
Speculum Saxonum Ius municipale / Książka Twarda
common.buy 22.75 zł
Auf dass wir klug werden Anja Zimmer / Książka Miękka
common.buy 70.31 zł
Adolf Hitler Volker Ullrich / Książka Twarda
common.buy 119.72 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 436
EAN 9783319254227
ISBN 3319254227
Kod Libristo 09535572
Wydawnictwo Springer International Publishing AG
Waga 6964
Wymiary 155 x 235 x 236

Kategoria

Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Evolution Driven by Organismal Behavior Rui Diogo / Książka Twarda
common.buy 147.80 zł
Neurobrucellosis Mehmet Turgut / Książka Twarda
common.buy 436.25 zł
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Książka Miękka
common.buy 62.21 zł
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Książka Twarda
common.buy 177.84 zł
Tecumseh's Last Stand John Peter Sugden / Książka Miękka
common.buy 105.36 zł
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Książka Twarda
common.buy 555.16 zł
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Książka Miękka
common.buy 46.73 zł
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Książka Miękka
common.buy 64.36 zł
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Książka Miękka
common.buy 56.37 zł
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Książka Miękka
common.buy 33.10 zł
Music Theory for Singers Level One SANDVIG / Książka Miękka
common.buy 114.69 zł
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Książka Miękka
common.buy 445.89 zł
Rise of the Necrofauna Britt Wray / Książka Miękka
common.buy 58.83 zł
The Kama Sutra Vatsyayana / Książka Miękka
common.buy 64.26 zł
Ritual Baths Deborah Hanekamp / Książka Twarda
common.buy 100.14 zł
The Swedish Revolution Under Gustavus Vasa (1889) Paul Barron Watson / Książka Miękka
common.buy 136.83 zł
Gwendoline's Harvest: A Novel... James Payn / Książka Miękka
common.buy 105.78 zł
Two Towers John Ronald Reuel Tolkien / Książka Miękka
common.buy 52.98 zł
Obturating Materials for Decidouos Dentition Deepti Jawa / Książka Miękka
common.buy 169.74 zł
My Family Puzzle - Country Life Olivia Gibbs / Gra/Zabawka Gra
common.buy 65.80 zł
Blood Brothers Beyond Rob J Hayes / Książka Twarda
common.buy 96.24 zł
Voice Biomarkers Shinichi Tokuno / Książka Twarda
common.buy 566.64 zł
The Heroic Legend of Arslan 22 Hiromu Arakawa / Książka Miękka
common.buy 39.76 zł
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Książka Twarda
common.buy 315.60 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?