Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Model Checking Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Dragan Bosnacki
Libristo kod: 02961433
Nakladnici Springer International Publishing AG, travanj 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Cijeli opis
? points 125 b
51.73 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Agility Kompakt Peter Hruschka / Knjiga Meki uvez
common.buy 22.27 €
Ositos de peluche adorables libro para colorear 2 Nick Snels / Knjiga Meki uvez
common.buy 10.32 €
Match Jones Bolt / Knjiga Tvrdi uvez
common.buy 27.53 €
Camiño de paz S.A. DE XESTION DO PLAN XACOBEO / Knjiga Meki uvez
common.buy 12.75 €
Les Breves de Fin du Monde Noyé / Knjiga Meki uvez
common.buy 9.31 €
Destruidor - Parte Nove Sky Corgan / E-knjiga Adobe ePub DRM
common.buy 0.90 €
PIMENT?ES (Capsicum annuum) Everton Vieira da Silva / Knjiga Meki uvez
common.buy 39.28 €
guerra in casa. Come e perché la corsa al riarmo riguarda tutti noi Roberto Arditti / Knjiga Meki uvez
common.buy 20.04 €
LEGO® City Joyeux Noël AMEET Studio / Knjiga Knjiga
common.buy 11.43 €
Postkarten-Set George Barbier George Barbier / Knjiga Meki uvez
common.buy 5.66 €
Lettres Sur Le Pacifisme Scientifique Et l'Anticinese (2e Edition) DuBois-R / Knjiga Meki uvez
common.buy 12.75 €
Legendes de Noel M G Lenotre / Knjiga Meki uvez
common.buy 18.52 €
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 Meki uvez
common.buy 6.17 €
Ajeduca 4. Escobar Domínguez / Knjiga Meki uvez
common.buy 12.65 €
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 Meki uvez
common.buy 32.70 €
CUARTO MOSQUETERO, EL Riccardo Freda / Knjiga Meki uvez
common.buy 11.43 €
Moutons Et Colons En Patagonie Fernando Coronato / Knjiga Meki uvez
common.buy 94.26 €
Ursprachlehre Friedrich Schmitthenner / Knjiga Tvrdi uvez
common.buy 97.91 €
Psychologische Typen Carl G. Jung / Knjiga Meki uvez
common.buy 59.73 €
François Truffaut Robert Ingram / Knjiga Tvrdi uvez
common.buy 14.37 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Model Checking Software
Autor Dragan Bosnacki, Anton Wijs
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 245
EAN 9783319325811
ISBN 3319325817
Libristo kod 02961433
Nakladnici Springer International Publishing AG
Težina 4044
Dimenzije 155 x 235 x 235

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Knjiga Tvrdi uvez
common.buy 103.07 €
Generational Differences In Political Attitudes And Political Behaviour In China Tianjian Shi / Knjiga Meki uvez
common.buy 12.95 €
Snowbird Christmas: Holiday Stories to Warm Your Heart Nancy L Quatrano / Knjiga Meki uvez
common.buy 8.60 €
Blades & Axes: Birth of Legends Book 1 Clinton Earl Jarvis / Knjiga Meki uvez
common.buy 15.58 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Knjiga Meki uvez
common.buy 15.79 €
The Darkest King: William's Story Gena Showalter / Knjiga Meki uvez
common.buy 8.39 €
Shadow Lost D K Holmberg / Knjiga Meki uvez
common.buy 13.05 €
Performances of Injustice Gabrielle (University of Warwick) Lynch / Knjiga Tvrdi uvez
common.buy 69.35 €
Missouri Birds James Kavanagh / Knjiga Meki uvez
common.buy 8.70 €
Top
The Architect's Apprentice Elif Shafak / Knjiga Meki uvez
common.buy 14.27 €
Modern Feminist Theory Jennifer Rich / Knjiga Meki uvez
common.buy 15.58 €
Alcoholism Ernest Holmes / Knjiga Meki uvez
common.buy 9.31 €
The Cheyenne Pool Lewis B Patten / Knjiga Tvrdi uvez
common.buy 39.38 €
Mediterranean Ecosystems G. Spezie / Knjiga Meki uvez
common.buy 205.96 €
Roman Catholic Modernists Confront the Great War C. Talar / Knjiga Tvrdi uvez
common.buy 55.89 €
Works of J. J. Rousseau. Translated From the French. In ten Volumes. Volume the First. of 10; Volume 1 JEAN-JACQU ROUSSEAU / Knjiga Tvrdi uvez
common.buy 36.44 €
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 Meki uvez
common.buy 14.88 €
Bears Don't Read! Emma Chichester Clark / Knjiga Tvrdi uvez
common.buy 14.88 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Knjiga Tvrdi uvez
common.buy 124.04 €
Top Novo
From the World of Minor Threats Library Edition Volume 1 Jordan Blum / Knjiga Tvrdi uvez
common.buy 34.62 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Knjiga Meki uvez
common.buy 103.07 €
Wiel Arets - Bas Princen John Bezold / Knjiga Tvrdi uvez
common.buy 89.61 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?