Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer International Publishing AG, květen 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 610
EAN 9783319192482
ISBN 3319192485
Libristo kód 09277583
Nakladatelství Springer International Publishing AG
Váha 9358
Rozměry 155 x 235 x 235

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Výpočetní a informační technologie > Počítačový hardware > Hardware počítačových a informačních technologií: údržba a opravy
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Kniha Brožovaná
common.buy 1 422 Kč
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Kniha Brožovaná
common.buy 694 Kč
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Kniha Pevná
common.buy 3 297 Kč
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Kniha Brožovaná
common.buy 303 Kč
Once Upon A Rhyme Julie Murrow / Kniha Brožovaná
common.buy 134 Kč
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 442 Kč
Philosophy of Law Kant Immanuel Kant / Kniha Brožovaná
common.buy 529 Kč
Falstaff: Give Me Lifevolume 1 Harold Bloom / Kniha Brožovaná
common.buy 292 Kč
Thomas Merton and the Inclusive Imagination Ross Labrie / Kniha Pevná
common.buy 1 236 Kč
The 22-Day Revolution Marco Borges / Kniha Pevná
common.buy 576 Kč
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Kniha Brožovaná
common.buy 422 Kč
Technology in Retrospect Michael J. Berson / Kniha Brožovaná
common.buy 1 431 Kč
Fallows Aaron Ross / Kniha Pevná
common.buy 652 Kč
Top
Pip and Posy: The Bedtime Frog Axel Scheffler / Kniha Pevná
common.buy 243 Kč
Total Heart Health Robert Schneider / Kniha Brožovaná
common.buy 341 Kč
Manners of Interpretation Miguel Tamen / Kniha Brožovaná
common.buy 909 Kč
Hegel Reader Stephen Houlgate / Kniha Pevná
common.buy 3 884 Kč
Writer's Roadmap Wendell Wellman / Kniha Brožovaná
common.buy 330 Kč
Happily Ever After Annette Morris / Kniha Brožovaná
common.buy 274 Kč
Silent Scream Sandra A Jones / Kniha Brožovaná
common.buy 491 Kč
Little Joseph H Easley / Kniha Pevná
common.buy 560 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?