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

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Dragan Bosnacki
Libristo kód: 02961433
Nakladateľstvo Springer International Publishing AG, apríl 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Match Jones Bolt / Kniha Pevná
common.buy 29.06 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Kniha Brožovaná
common.buy 12.14 €
Postkarten-Set George Barbier George Barbier / Kniha Brožovaná
common.buy 5.66 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Kniha Brožovaná
common.buy 9.81 €
Les Breves de Fin du Monde Noyé / Kniha Brožovaná
common.buy 9.31 €
Destruidor - Parte Nove Sky Corgan / E-kniha Adobe ePub DRM
common.buy 1.00 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Kniha Brožovaná
common.buy 39.29 €
LEGO® City Joyeux Noël AMEET Studio / Kniha Kniha
common.buy 11.94 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Kniha Brožovaná
common.buy 21.06 €
Legendes de Noel M G Lenotre / Kniha Brožovaná
common.buy 17.61 €
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Kniha Brožovaná
common.buy 5.86 €
Ajeduca 4. Escobar Domínguez / Kniha Brožovaná
common.buy 13.36 €
Naufragio : la historia olvidada del Vapor Príncipe de Asturias, hundido el 5 de marzo de 1916 con más de 600 personas a bordo Francisco García Novell / Kniha Brožovaná
common.buy 32.70 €
CUARTO MOSQUETERO, EL Riccardo Freda / Kniha Brožovaná
common.buy 11.94 €
Moutons Et Colons En Patagonie Fernando Coronato / Kniha Brožovaná
common.buy 94.28 €
Ursprachlehre Friedrich Schmitthenner / Kniha Pevná
common.buy 103.10 €
Psychologische Typen Carl G. Jung / Kniha Brožovaná
common.buy 59.75 €
François Truffaut Robert Ingram / Kniha Pevná
common.buy 14.88 €

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

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 Model Checking Software
Autor Dragan Bosnacki, Anton Wijs
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2016
Počet strán 245
EAN 9783319325811
ISBN 3319325817
Libristo kód 02961433
Nakladateľstvo Springer International Publishing AG
Váha 4044
Rozmery 155 x 235 x 235

Kategórie

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

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Kniha Pevná
common.buy 103.10 €
Wiel Arets - Bas Princen John Bezold / Kniha Pevná
common.buy 93.68 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Kniha Pevná
common.buy 34.63 €
The Cheyenne Pool Lewis B Patten / Kniha Pevná
common.buy 39.39 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Kniha Pevná
common.buy 73.72 €
Shadow Lost D K Holmberg / Kniha Brožovaná
common.buy 12.35 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Kniha Brožovaná
common.buy 14.88 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Kniha Brožovaná
common.buy 8.09 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Kniha Brožovaná
common.buy 14.98 €
Missouri Birds James Kavanagh / Kniha Brožovaná
common.buy 8.70 €
Top
The Architect's Apprentice Elif Shafak / Kniha Brožovaná
common.buy 13.46 €
Modern Feminist Theory Jennifer Rich / Kniha Brožovaná
common.buy 14.78 €
Alcoholism Ernest Holmes / Kniha Brožovaná
common.buy 8.90 €
Mediterranean Ecosystems G. Spezie / Kniha Brožovaná
common.buy 206.00 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Kniha Brožovaná
common.buy 12.45 €
Roman Catholic Modernists Confront the Great War C. Talar / Kniha Pevná
common.buy 55.90 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Kniha Brožovaná
common.buy 103.10 €
Top Nové
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Kniha Pevná
common.buy 34.63 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Kniha Pevná
common.buy 124.06 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Kniha Brožovaná
common.buy 14.07 €
Bears Don't Read! Emma Chichester Clark / Kniha Pevná
common.buy 14.88 €

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