Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Model Checking Software

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Dragan Bosnacki
Koda Libristo: 02961433
Založba Springer International Publishing AG, april 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Celoten opis
? points 118 b
48.80 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Match Jones Bolt / Knjiga Trda
common.buy 25.96 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Knjiga Mehka
common.buy 12.12 €
Postkarten-Set George Barbier George Barbier / Knjiga Mehka
common.buy 5.35 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Knjiga Mehka
common.buy 9.79 €
Les Breves de Fin du Monde Noyé / Knjiga Mehka
common.buy 8.78 €
Destruidor - Parte Nove Sky Corgan / E-knjiga Adobe ePub DRM
common.buy 0.90 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Knjiga Mehka
common.buy 36.87 €
LEGO® City Joyeux Noël AMEET Studio / Knjiga Knjiga
common.buy 10.90 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Knjiga Mehka
common.buy 18.99 €
Legendes de Noel M G Lenotre / Knjiga Mehka
common.buy 17.57 €
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 / Knjiga Mehka
common.buy 5.85 €
Ajeduca 4. Escobar Domínguez / Knjiga Mehka
common.buy 12.02 €
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 / Knjiga Mehka
common.buy 30.81 €
CUARTO MOSQUETERO, EL Riccardo Freda / Knjiga Mehka
common.buy 10.90 €
Moutons Et Colons En Patagonie Fernando Coronato / Knjiga Mehka
common.buy 88.61 €
Ursprachlehre Friedrich Schmitthenner / Knjiga Trda
common.buy 92.55 €
Psychologische Typen Carl G. Jung / Knjiga Mehka
common.buy 56.18 €
François Truffaut Robert Ingram / Knjiga Trda
common.buy 13.73 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software
Avtor Dragan Bosnacki, Anton Wijs
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 245
EAN 9783319325811
ISBN 3319325817
Koda Libristo 02961433
Založba Springer International Publishing AG
Teža 4044
Mere 155 x 235 x 235

Kategorije

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Knjiga Trda
common.buy 97.30 €
Wiel Arets - Bas Princen John Bezold / Knjiga Trda
common.buy 85.28 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Knjiga Trda
common.buy 34.55 €
The Cheyenne Pool Lewis B Patten / Knjiga Trda
common.buy 37.48 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Knjiga Trda
common.buy 64.87 €
Shadow Lost D K Holmberg / Knjiga Mehka
common.buy 12.32 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Knjiga Mehka
common.buy 14.84 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Knjiga Mehka
common.buy 8.07 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Knjiga Mehka
common.buy 14.95 €
Missouri Birds James Kavanagh / Knjiga Mehka
common.buy 8.28 €
Top
The Architect's Apprentice Elif Shafak / Knjiga Mehka
common.buy 13.43 €
Modern Feminist Theory Jennifer Rich / Knjiga Mehka
common.buy 14.74 €
Alcoholism Ernest Holmes / Knjiga Mehka
common.buy 8.88 €
Mediterranean Ecosystems G. Spezie / Knjiga Mehka
common.buy 194.31 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Knjiga Mehka
common.buy 12.42 €
Roman Catholic Modernists Confront the Great War C. Talar / Knjiga Trda
common.buy 53.14 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Knjiga Mehka
common.buy 97.30 €
Top Novo
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Knjiga Trda
common.buy 32.12 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Knjiga Trda
common.buy 115.39 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Knjiga Mehka
common.buy 14.04 €
Bears Don't Read! Emma Chichester Clark / Knjiga Trda
common.buy 14.04 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo