A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Model Checking Software

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

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Dragan Bosnacki
Libristo kód: 02961433
Kiadó Springer International Publishing AG, április 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Teljes leírás
? points 136 b
19 925 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

A vásárlók ilyet vásároltak

Agility Kompakt Peter Hruschka / Könyv Puha kötésű
common.buy 8 468 Ft
Ositos de peluche adorables libro para colorear 2 Nick Snels / Könyv Puha kötésű
common.buy 3 961 Ft
Match Jones Bolt / Könyv Kemény kötésű
common.buy 10 300 Ft
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Könyv Puha kötésű
common.buy 4 724 Ft
Les Breves de Fin du Monde Noyé / Könyv Puha kötésű
common.buy 3 609 Ft
Destruidor - Parte Nove Sky Corgan / E-könyv Adobe ePub DRM
common.buy 352 Ft
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Könyv Puha kötésű
common.buy 15 215 Ft
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Könyv Puha kötésű
common.buy 7 482 Ft
LEGO® City Joyeux Noël AMEET Studio / Könyv Könyv
common.buy 4 257 Ft
Postkarten-Set George Barbier George Barbier / Könyv Puha kötésű
common.buy 2 156 Ft
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Könyv Puha kötésű
common.buy 4 872 Ft
Legendes de Noel M G Lenotre / Könyv Puha kötésű
common.buy 7 117 Ft
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 / Könyv Puha kötésű
common.buy 2 378 Ft
Ajeduca 4. Escobar Domínguez / Könyv Puha kötésű
common.buy 4 738 Ft
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 / Könyv Puha kötésű
common.buy 12 633 Ft
CUARTO MOSQUETERO, EL Riccardo Freda / Könyv Puha kötésű
common.buy 4 257 Ft
Moutons Et Colons En Patagonie Fernando Coronato / Könyv Puha kötésű
common.buy 36 583 Ft
Ursprachlehre Friedrich Schmitthenner / Könyv Kemény kötésű
common.buy 36 565 Ft
Psychologische Typen Carl G. Jung / Könyv Puha kötésű
common.buy 23 183 Ft
François Truffaut Robert Ingram / Könyv Kemény kötésű
common.buy 5 298 Ft

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.§

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Dragan Bosnacki, Anton Wijs
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2016
Oldalszám 245
EAN 9783319325811
ISBN 3319325817
Libristo kód 02961433
Kiadó Springer International Publishing AG
Súly 4044
Méretek 155 x 235 x 235

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Könyv Kemény kötésű
common.buy 39 735 Ft
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Könyv Puha kötésű
common.buy 4 928 Ft
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Könyv Puha kötésű
common.buy 3 285 Ft
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Könyv Puha kötésű
common.buy 6 002 Ft
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Könyv Puha kötésű
common.buy 6 043 Ft
The Darkest King: William's Story Gena Showalter / Könyv Puha kötésű
common.buy 3 211 Ft
Shadow Lost D K Holmberg / Könyv Puha kötésű
common.buy 5 002 Ft
Performances of Injustice Gabrielle (University of Warwick) Lynch / Könyv Kemény kötésű
common.buy 26 149 Ft
Missouri Birds James Kavanagh / Könyv Puha kötésű
common.buy 3 373 Ft
Toplistás
The Architect's Apprentice Elif Shafak / Könyv Puha kötésű
common.buy 5 590 Ft
Modern Feminist Theory Jennifer Rich / Könyv Puha kötésű
common.buy 5 941 Ft
Alcoholism Ernest Holmes / Könyv Puha kötésű
common.buy 3 535 Ft
The Cheyenne Pool Lewis B Patten / Könyv Kemény kötésű
common.buy 14 983 Ft
Mediterranean Ecosystems G. Spezie / Könyv Puha kötésű
common.buy 79 353 Ft
Roman Catholic Modernists Confront the Great War C. Talar / Könyv Kemény kötésű
common.buy 21 304 Ft
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Könyv Kemény kötésű
common.buy 13 910 Ft
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Könyv Puha kötésű
common.buy 5 710 Ft
Bears Don't Read! Emma Chichester Clark / Könyv Kemény kötésű
common.buy 5 738 Ft
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Könyv Kemény kötésű
common.buy 48 730 Ft
Toplistás Új
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Könyv Kemény kötésű
common.buy 13 646 Ft
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Könyv Puha kötésű
common.buy 39 735 Ft
Wiel Arets - Bas Princen John Bezold / Könyv Kemény kötésű
common.buy 33 205 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?