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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Integrated Formal Methods

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

Język AngielskiAngielski
Książka Miękka
Książka Integrated Formal Methods Elvira Albert
Kod Libristo: 05147795
Wydawnictwo Springer International Publishing AG, sierpień 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Cały opis
? points 125 b
219.88 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Surrender to the Fantasy Magik Markers / Audio CD Audio
common.buy 93.71 zł
Perfektionismus im Schulkontext / Książka Miękka
common.buy 68.92 zł
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Książka Miękka
common.buy 91.29 zł
Mia Moglie mi Tradisce Lara Steele / Książka Twarda
common.buy 95.52 zł
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Wideo Blu-ray
common.buy 56.83 zł
Missa Sancti Amandi, Partitur Joseph Haydn / Prasa Nuty
common.buy 185.41 zł
A2 Key for schools Trainer 2 / Książka Miękka
common.buy 189.24 zł
Storm Child Fountain / Książka Miękka
common.buy 41.51 zł
Гендер, культура и фукусимская катастрофа / Książka Twarda
common.buy 100.06 zł
Boy's Abyss 11 Nana Umino / Książka Miękka
common.buy 31.33 zł
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Książka Miękka
common.buy 55.42 zł
Recueil De Contes Populaires Grecs Anonymous / Książka Twarda
common.buy 146.72 zł
Le Triomphe de la méthode Fauchere / Książka Twarda
common.buy 54.21 zł
Die italienische Plastik Wilhelm Bode / Książka Twarda
common.buy 507.29 zł
Jetzt sag ich's Waltraut Haas / E-book Adobe ePub DRM
common.buy 84.24 zł
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Książka Miękka
common.buy 227.23 zł
Dopamin Rowena Kong / Książka Miękka
common.buy 151.76 zł
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Książka Miękka
common.buy 66.30 zł
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Książka Twarda
common.buy 125.45 zł
Tajemství stříbrné klisny Julie Wald / Książka Twarda
common.buy 39.09 zł
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Książka Miękka
common.buy 78.09 zł
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Książka Miękka
common.buy 58.24 zł

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.

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 Integrated Formal Methods
Autor Elvira Albert, Emil Sekerinski
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 390
EAN 9783319101804
ISBN 3319101803
Kod Libristo 05147795
Wydawnictwo Springer International Publishing AG
Waga 6088
Wymiary 155 x 235 x 22

Kategoria

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ń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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ć

Solidarity in Health and Social Care in Europe W. Arts / Książka Miękka
common.buy 875.41 zł
VOCABULARY SUCCESS B2 FCE SELF STUDY / Książka Książka
common.buy 99.35 zł
Practical Spirituality and Human Development Ananta Kumar Giri / Książka Twarda
common.buy 452.57 zł
Brownies in the Attic S a Parks / Książka Miękka
common.buy 37.68 zł
Facilitator's & Trainer's Toolkit Artie Mahal / Książka Miękka
common.buy 98.34 zł
Sins of a Wicked Princess Anna Randol / Książka Miękka
common.buy 39.09 zł
Black Ice Lorene Cary / Książka Miękka
common.buy 71.24 zł
Computer Algebra in Scientific Computing Vladimir P. Gerdt / Książka Miękka
common.buy 248.70 zł
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Książka Miękka
common.buy 82.12 zł
2nd Chance James Patterson / Książka Miękka
common.buy 58.44 zł
Cursive Alphabet Mike Stewart / Książka Miękka
common.buy 40.60 zł
Multimedia Modernism Julian Murphet / Książka Twarda
common.buy 567.65 zł
The Complete Idiot's Guide to Dirty Jokes David Pietras / Książka Miękka
common.buy 75.67 zł
2 Life's Stories J L Albesa / Książka Miękka
common.buy 26.39 zł
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Książka Miękka
common.buy 109.93 zł
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Książka Miękka
common.buy 290.93 zł
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Książka Miękka
common.buy 136.64 zł
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Książka Miękka
common.buy 71.24 zł
Paddling Idaho Greg Stahl / Książka Miękka
common.buy 97.24 zł
Empire of Cotton Sven Beckert / Książka Miękka
common.buy 60.15 zł
THE ROMANS OF BRITAIN HENRY CHARLES COOTE / Książka Miękka
common.buy 174.83 zł
Chapters Of Opera Henry Edward Krehbiel / Książka Miękka
common.buy 118.50 zł
Elementary and Practical Treatise On Bridge Building. Squire Whipple / Książka Miękka
common.buy 118.70 zł
Glasgow Sean Damer / Książka Miękka
common.buy 86.05 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?