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 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer International Publishing AG, január 2016
This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Celý popis
? points 125 b
51.83 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Infinisterres BERTHOLOM / Kniha Brožovaná
common.buy 19.16 €
Auxiliares del Servicio Vasco de Salud, Osaki Detza CASTILLO TORRES / Kniha Brožovaná
common.buy 37.73 €
Las Siete Dinastías / The Seven Dynasties Strukul / Kniha Pevná
common.buy 17.95 €
Energía y civilización. Una historia Vaclav Smil / Kniha Brožovaná
common.buy 23.63 €
CHECK, PLEASE! 1. AMOR EN LA PISTA DE HOCKEY NGOZI UKAZU / Kniha Brožovaná
common.buy 22.61 €
Autant en emporte le vent Tarditi / Kniha Kniha
common.buy 26.06 €
Звезда под странной луной Констанс Сэйерс / Kniha Pevná
common.buy 21.90 €
ADN 2025, m. 1 Buch, m. 1 Online-Zugang Jörg Holzhäuser / Kniha Kniha
common.buy 146.89 €
Guide du Routard Milan et ses environs 2025/26 / Kniha Brožovaná
common.buy 15.21 €
Ottimizzazione dei parametri di tornitura controllabili per l'HSM dell'Inconel 718 Bollu Satyanarayana / Kniha Brožovaná
common.buy 49.09 €
Hyundai Lantra/Elantra 1996 - 2006 Larry Warren / Kniha Brožovaná
common.buy 24.34 €
A Dictionary of Post Classical Yemeni Arabic (2 Vols) M. Piamenta / Kniha Pevná
common.buy 539.30 €
Kruh věčných návratů Karel Naxera / Kniha Brožovaná
common.buy 7.40 €
Průvodce pro učitele k učebnicové sadě Český jazyk Marie Kozlová / Kniha Brožovaná
common.buy 9.73 €
Lacno
Tvoje dieťa ako šanca pre teba Zdeňka Jordánová / Kniha Brožovaná
common.buy 11.45 €
(Vor-)Lesegeschichten mit Finn und Fine Cordula Amann-Fischer / Kniha List
common.buy 7.90 €
Die Zeitung in der Republik. Thomas Koch / Kniha Brožovaná
common.buy 95.56 €
Optimisation de Forme Des Structures Abdessalem Jarraya / Kniha Brožovaná
common.buy 43.92 €
Augustin's Lehre über den Tod und der autobiographische Wert seiner Confessiones Jennifer Abel / Kniha Brožovaná
common.buy 16.22 €
Concours Ouvert Par La Ligue Du Parti National Hillon-A / Kniha Brožovaná
common.buy 12.47 €
Histoire d'Un Morceau de Charbon Hement-E / Kniha Brožovaná
common.buy 18.25 €
Servante Insoumise(la) Jane Harris / Kniha Brožovaná
common.buy 11.15 €
La subordinación voluntaria de créditos Juan Luis Goldenberg Serrano / Kniha Brožovaná
common.buy 46.15 €
Le cas Paradot Brilman / Kniha Brožovaná
common.buy 24.44 €

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 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 Verified Software: Theories, Tools, and Experiments
Autor Arie Gurfinkel, Seshia Sanjit
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2016
Počet strán 223
EAN 9783319296128
ISBN 3319296124
Libristo kód 02896192
Nakladateľstvo Springer International Publishing AG
Váha 3635
Rozmery 155 x 235 x 14

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
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
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
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ť

Beautifully Broken J.A. Owenby / Kniha Brožovaná
common.buy 14.09 €
God Makes Me Laugh Joseph a Grassi / Kniha Brožovaná
common.buy 16.22 €
Modern Techniques of Gel Electrophoresis Jill Clark / Kniha Pevná
common.buy 90.38 €
Hebrews and the General Epistles Kevin Anderson / Kniha Brožovaná
common.buy 17.44 €
Positively Haiku: Illustrated affirmations in 17 syllables Daria Ponomarenko / Kniha Pevná
common.buy 19.37 €
Forest Hills Cemetery Anthony Mitchell Sammarco / Kniha Pevná
common.buy 23.12 €
Show Me Your Torts: 120 Pages I 6x9 I Karo Funny Notebooks / Kniha Brožovaná
common.buy 8.11 €
Medicine, Government and Public Health in Philip II's Spain CLOUSE / Kniha Brožovaná
common.buy 82.77 €
Becoming a Powerhouse Librarian Jamie M. Gray / Kniha Brožovaná
common.buy 48.69 €
A TREATISE ON FREE AGENCY: MAINTAINING T EDWARD DOWLING / Kniha Pevná
common.buy 31.95 €
Electromagnetic Waves-Based Cancer Diagnosis and Therapy Omid Bavi / Kniha Brožovaná
common.buy 183.11 €
Top
Birds of Japan BRAZIL MARK / Kniha Brožovaná
common.buy 32.15 €
Portugal Company Laws and Regulations Handbook Volume 1 Strategic Information and Basic Regulations Inc Ibp / Kniha Brožovaná
common.buy 91.60 €
Prisoner of War, or, Five Months Among the Yankees Anthony M Keiley / Kniha Brožovaná
common.buy 15.31 €
Medieval Law and Punishment Donna Trembinski / Kniha Pevná
common.buy 28.09 €
Understanding the Science of Climate Change: Talking Points- Impacts to the Great Lakes Amanda Schramm / Kniha Brožovaná
common.buy 11.86 €
Four Perfects and Standardized Testing JOHN M. LAVERTY / Kniha Brožovaná
common.buy 27.58 €
Zero 'g': Earth Without Gravity MR Srujan Joshi M / Kniha Brožovaná
common.buy 9.02 €
No Turning Back: From Addiction to Dance Norma Fowler / Kniha Brožovaná
common.buy 8.11 €
Punk Crisis Raymond Patton / Kniha Brožovaná
common.buy 43.11 €
Secret History of Magic Peter Lamont / Kniha Pevná
common.buy 20.69 €
Fundamentals of Human Resource Management, Fourteenth Edition Susan L. Verhulst / Kniha Brožovaná
common.buy 122.34 €
A Child's Garden of Verses Robert Louis Stevenson / Kniha Brožovaná
common.buy 9.42 €
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 68.77 €

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ť?