Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

FM 2015: Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FM 2015: Formal Methods Nikolaj Bj?rner
Libristo kód: 09277583
Nakladateľstvo Springer International Publishing AG, máj 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Celý popis
? points 125 b
51.73 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 30.27 €
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Kniha Brožovaná
common.buy 50.01 €
JACK LONDON KOZA / Kniha Pevná
common.buy 23.69 €
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Kniha Brožovaná
common.buy 30.06 €
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Kniha Brožovaná
common.buy 51.94 €
Italie - 50 itinéraires de rêve collegium / Kniha Brožovaná
common.buy 34.52 €
1972 Dr Gustav Keller / Kniha Brožovaná
common.buy 7.89 €
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Kniha Pevná
common.buy 13.56 €
Die drei ??? und der schreiende Zug Andreas Ruch / Kniha Pevná
common.buy 13.56 €
Aquí yace la amargura Cynthia Fleury / E-kniha Adobe ePub DRM
common.buy 6.57 €
Čti a hraj si s námi Ledové království / Kniha Leporelo
common.buy 17.10 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2015
Počet strán 610
EAN 9783319192482
ISBN 3319192485
Libristo kód 09277583
Nakladateľstvo Springer International Publishing AG
Váha 9358
Rozmery 155 x 235 x 235

Kategórie

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Kniha Brožovaná
common.buy 58.82 €
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Kniha Brožovaná
common.buy 28.75 €
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Kniha Pevná
common.buy 144.19 €
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Kniha Brožovaná
common.buy 13.46 €
Once Upon A Rhyme Julie Murrow / Kniha Brožovaná
common.buy 5.56 €
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Kniha Brožovaná
common.buy 18.32 €
Philosophy of Law Kant Immanuel Kant / Kniha Brožovaná
common.buy 23.28 €
Falstaff: Give Me Lifevolume 1 Harold Bloom / Kniha Brožovaná
common.buy 12.04 €
Thomas Merton and the Inclusive Imagination Ross Labrie / Kniha Pevná
common.buy 51.13 €
The 22-Day Revolution Marco Borges / Kniha Pevná
common.buy 25.20 €
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Kniha Brožovaná
common.buy 16.60 €
Technology in Retrospect Michael J. Berson / Kniha Brožovaná
common.buy 59.23 €
Fallows Aaron Ross / Kniha Pevná
common.buy 26.93 €
Pip and Posy: The Bedtime Frog Axel Scheffler / Kniha Pevná
common.buy 10.82 €
Total Heart Health Robert Schneider / Kniha Brožovaná
common.buy 14.07 €
Manners of Interpretation Miguel Tamen / Kniha Brožovaná
common.buy 39.38 €
Hegel Reader Stephen Houlgate / Kniha Pevná
common.buy 160.69 €
Writer's Roadmap Wendell Wellman / Kniha Brožovaná
common.buy 13.66 €
Happily Ever After Annette Morris / Kniha Brožovaná
common.buy 11.33 €
Silent Scream Sandra A Jones / Kniha Brožovaná
common.buy 20.34 €
Little Joseph H Easley / Kniha Pevná
common.buy 23.18 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?