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.

Verified Software: Theories, Tools, and Experiments

7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verified Software: Theories, Tools, and Experiments Arie Gurfinkel
Libristo kód: 02896192
Nakladatelství Springer International Publishing AG, leden 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Energía y civilización. Una historia Vaclav Smil / Kniha Brožovaná
common.buy 958 Kč
Las Siete Dinastías / The Seven Dynasties Strukul / Kniha Pevná
common.buy 432 Kč
Звезда под странной луной Констанс Сэйерс / Kniha Pevná
common.buy 486 Kč
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Kniha Brožovaná
common.buy 547 Kč
Autant en emporte le vent Tarditi / Kniha Kniha
common.buy 639 Kč
Al tuo fianco. Le consulenze e la valutazione nel Writing and Reading Workshop Elisa Golinelli / Kniha Brožovaná
common.buy 590 Kč
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Kniha Kniha
common.buy 3 548 Kč
Guide du Routard Milan et ses environs 2025/26 / Kniha Brožovaná
common.buy 375 Kč
Top
Rodinný plánovací kalendář 2026 / Kalendář/Diář Kalendář
common.buy 33 Kč
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Kniha Brožovaná
common.buy 1 115 Kč
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Kniha Brožovaná
common.buy 652 Kč
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Kniha Pevná
common.buy 12 156 Kč
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Kniha Brožovaná
common.buy 228 Kč
Levně
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Kniha Brožovaná
common.buy 292 Kč
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Kniha List
common.buy 198 Kč
Optimisation de Forme Des Structures Abdessalem Jarraya / Kniha Brožovaná
common.buy 997 Kč
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Kniha Brožovaná
common.buy 369 Kč
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Kniha Brožovaná
common.buy 315 Kč
Histoire d'Un Morceau de Charbon Hement-E / Kniha Brožovaná
common.buy 467 Kč
Servante Insoumise(la) Jane Harris / Kniha Brožovaná
common.buy 278 Kč
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Kniha Brožovaná
common.buy 1 115 Kč
Accompagner les petites filles victimes de violences sexuelles Julie Junquet / Kniha Brožovaná
common.buy 273 Kč
Uriage Et Ses Eaux Salines Et Sulfureuses NIEPCE-A / Kniha Brožovaná
common.buy 358 Kč
Alexander ve Oyuncak Fare Leo Lionni / Kniha Brožovaná
common.buy 279 Kč

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

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 Verified Software: Theories, Tools, and Experiments
Autor Arie Gurfinkel, Seshia Sanjit
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 223
EAN 9783319296128
ISBN 3319296124
Libristo kód 02896192
Nakladatelství Springer International Publishing AG
Váha 3635
Rozměry 155 x 235 x 14

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
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
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Becoming a Powerhouse Librarian Jamie M. Gray / Kniha Brožovaná
common.buy 1 190 Kč
Cheaper by the Dozen Frank B. Gilbreth / Kniha Brožovaná
common.buy 251 Kč
The Signet Book of American Essays M. Jerry Weiss / Kniha Brožovaná
common.buy 200 Kč
God Makes Me Laugh Joseph a Grassi / Kniha Brožovaná
common.buy 392 Kč
Levně
For The Life Of The World David Bentley Hart / Kniha Brožovaná
common.buy 386 Kč
Hebrews and the General Epistles Kevin Anderson / Kniha Brožovaná
common.buy 420 Kč
Inside the JBuilder OpenTools API Keith Wood / Kniha Brožovaná
common.buy 1 063 Kč
Forest Hills Cemetery Anthony Mitchell Sammarco / Kniha Pevná
common.buy 558 Kč
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Kniha Pevná
common.buy 467 Kč
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Kniha Brožovaná
common.buy 1 802 Kč
Letters from Dorothy Osborne to Sir William Temple Dorothy Osborne / Kniha Brožovaná
common.buy 550 Kč
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Kniha Pevná
common.buy 772 Kč
Code of Federal Regulations, Title 29, Labor, Pt. 500-899, Revised as of July 1, 2017 National Archives and Records Administra / Kniha Brožovaná
common.buy 1 585 Kč
Birds of Japan BRAZIL MARK / Kniha Brožovaná
common.buy 705 Kč
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Kniha Brožovaná
common.buy 4 216 Kč
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Kniha Brožovaná
common.buy 348 Kč
Four Perfects and Standardized Testing JOHN M. LAVERTY / Kniha Brožovaná
common.buy 641 Kč
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Kniha Brožovaná
common.buy 219 Kč
No Turning Back: From Addiction to Dance Norma Fowler / Kniha Brožovaná
common.buy 196 Kč
Punk Crisis Raymond Patton / Kniha Brožovaná
common.buy 775 Kč
Beautifully Broken J.A. Owenby / Kniha Brožovaná
common.buy 341 Kč
Virtual Clinical Trials: Challenges and Opportunities: Proceedings of a Workshop National Academies Of Sciences Engineeri / Kniha Brožovaná
common.buy 1 426 Kč
Make Each Day Count: A Christopher Thought for Every Day of the Year James Keller / Kniha Brožovaná
common.buy 881 Kč
Winter Song Jean-Claude Mourlevat / Kniha Brožovaná
common.buy 245 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?