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

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka FM 2015: Formal Methods Nikolaj Bj?rner
Kod Libristo: 09277583
Wydawnictwo Springer International Publishing AG, maj 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Cały opis
? points 125 b
219.69 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio CD Audio
common.buy 128.67 zł
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Książka Miękka
common.buy 212.44 zł
JACK LONDON KOZA / Książka Twarda
common.buy 100.67 zł
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Książka Miękka
common.buy 134.40 zł
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Książka Miękka
common.buy 220.69 zł
Italie - 50 itinéraires de rêve collegium / Książka Miękka
common.buy 146.69 zł
1972 Dr Gustav Keller / Książka Miękka
common.buy 33.42 zł
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Książka Twarda
common.buy 57.68 zł
Die drei ??? und der schreiende Zug Andreas Ruch / Książka Twarda
common.buy 57.78 zł
Aquí yace la amargura Cynthia Fleury / E-book Adobe ePub DRM
common.buy 27.98 zł
Čti a hraj si s námi Ledové království / Książka Leporelo
common.buy 77.11 zł

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

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 FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 610
EAN 9783319192482
ISBN 3319192485
Kod Libristo 09277583
Wydawnictwo Springer International Publishing AG
Waga 9358
Wymiary 155 x 235 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Konserwacja i naprawa komputerów i sprzętu informatycznego
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ć

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Książka Miękka
common.buy 249.89 zł
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Książka Miękka
common.buy 127.05 zł
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Książka Twarda
common.buy 612.66 zł
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Książka Miękka
common.buy 60.80 zł
Once Upon A Rhyme Julie Murrow / Książka Miękka
common.buy 24.76 zł
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Książka Miękka
common.buy 81.85 zł
Philosophy of Law Kant Immanuel Kant / Książka Miękka
common.buy 98.76 zł
Falstaff: Give Me Lifevolume 1 Harold Bloom / Książka Miękka
common.buy 54.66 zł
Thomas Merton and the Inclusive Imagination Ross Labrie / Książka Twarda
common.buy 227.24 zł
The 22-Day Revolution Marco Borges / Książka Twarda
common.buy 107.22 zł
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Książka Miękka
common.buy 77.82 zł
Technology in Retrospect Michael J. Berson / Książka Miękka
common.buy 263.58 zł
Fallows Aaron Ross / Książka Twarda
common.buy 120.21 zł
Pip and Posy: The Bedtime Frog Axel Scheffler / Książka Twarda
common.buy 42.68 zł
Total Heart Health Robert Schneider / Książka Miękka
common.buy 63.82 zł
Manners of Interpretation Miguel Tamen / Książka Miękka
common.buy 167.33 zł
Hegel Reader Stephen Houlgate / Książka Twarda
common.buy 682.64 zł
Writer's Roadmap Wendell Wellman / Książka Miękka
common.buy 61.11 zł
Happily Ever After Annette Morris / Książka Miękka
common.buy 51.34 zł
Silent Scream Sandra A Jones / Książka Miękka
common.buy 90.51 zł
Little Joseph H Easley / Książka Twarda
common.buy 103.29 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?