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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Čti a hraj si s námi Ledové království / Kniha Leporelo
common.buy 439 Kč
Italie - 50 itinéraires de rêve collegium / Kniha Brožovaná
common.buy 806 Kč
Aquí yace la amargura Cynthia Fleury / E-kniha Adobe ePub DRM
common.buy 159 Kč
Die drei ??? und der schreiende Zug Andreas Ruch / Kniha Pevná
common.buy 309 Kč
New Picture Dictionary (English-Polish) Sedat Turhan / Kniha Pevná
common.buy 315 Kč
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Kniha Pevná
common.buy 378 Kč
凡人同人之超仙：第六部 续立 / Kniha Brožovaná
common.buy 1 052 Kč
El diario del anti-suicidas Malaquias 2 Matias Leonel Sarmento / E-kniha Adobe ePub DRM
common.buy 128 Kč
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Kniha Brožovaná
common.buy 1 187 Kč
1972 Dr Gustav Keller / Kniha Brožovaná
common.buy 184 Kč
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Kniha Brožovaná
common.buy 1 203 Kč
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Kniha Brožovaná
common.buy 748 Kč
JACK LONDON KOZA / Kniha Pevná
common.buy 569 Kč
Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 752 Kč
Sin temor Max Lucado / Kniha Brožovaná
common.buy 326 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

Data Mining and Market Intelligence Akinkunmi / Kniha Brožovaná
common.buy 1 269 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 311 Kč
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Kniha Brožovaná
common.buy 383 Kč
The 22-Day Revolution Marco Borges / Kniha Pevná
common.buy 596 Kč
Thomas Merton and the Inclusive Imagination Ross Labrie / Kniha Pevná
common.buy 1 293 Kč
Falstaff: Give Me Lifevolume 1 Harold Bloom / Kniha Brožovaná
common.buy 299 Kč
Philosophy of Law Kant Immanuel Kant / Kniha Brožovaná
common.buy 529 Kč
Once Upon A Rhyme Julie Murrow / Kniha Brožovaná
common.buy 146 Kč
KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Kniha Brožovaná
common.buy 1 415 Kč
Unofficial Aeropress Coffee Maker Recipe Book Mike Alan / Kniha Brožovaná
common.buy 270 Kč
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Kniha Pevná
common.buy 3 296 Kč
Top
Excellent Women Barbara Pym / E-kniha Adobe ePub DRM
common.buy 80 Kč
Top
Editorial Design Third Edition: Digital and Print CALDWELL CATH / Kniha Brožovaná
common.buy 703 Kč
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Kniha Brožovaná
common.buy 620 Kč
Trust Is the Strategy Molly Amarir / Kniha Brožovaná
common.buy 333 Kč
Solid Waste Management Simeon Dulo / Kniha Brožovaná
common.buy 1 662 Kč
Conflict and Compromise Ransom / Kniha Brožovaná
common.buy 904 Kč
In Search of Lost Time: Volume 2 Marcel Proust / Kniha Brožovaná
common.buy 261 Kč
Total Heart Health Robert Schneider / Kniha Brožovaná
common.buy 350 Kč
Manners of Interpretation Miguel Tamen / Kniha Brožovaná
common.buy 961 Kč
Technology in Retrospect Michael J. Berson / Kniha Brožovaná
common.buy 1 469 Kč
Hegel Reader Stephen Houlgate / Kniha Pevná
common.buy 3 926 Kč
Writer's Roadmap Wendell Wellman / Kniha Brožovaná
common.buy 339 Kč
Happily Ever After Annette Morris / Kniha Brožovaná
common.buy 281 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?