phone +385 21 784 0072
LIBRISTO 0
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 € Pošta 4.99 € DPD 5.99 € GLS 3.99 € GLS paketomat 3.49 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!

Model Checking Software

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 154 b
61.42 €
Vanjske zalihe u manjem broju Šaljemo za 13-16 dana

30 dana za povrat kupljenih proizvoda

Moglo bi vas zanimati i

Spain: Mallorca Alan James / Meki uvez
common.buy 46.49 €
Psychologische Typen Carl G. Jung / Meki uvez
common.buy 59.31 €
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Tvrdi uvez
common.buy 140.21 €
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Meki uvez
common.buy 121.04 €
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 / Meki uvez
common.buy 6.65 €
Bears Don't Read! Emma Chichester Clark / Tvrdi uvez
common.buy 16.03 €
Wiel Arets - Bas Princen John Bezold / Tvrdi uvez
common.buy 93.50 €
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Meki uvez
common.buy 15.83 €
Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Tvrdi uvez
common.buy 108.63 €
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Meki uvez
common.buy 15.83 €
Ursprachlehre Friedrich Schmitthenner / Tvrdi uvez
common.buy 102.78 €
François Truffaut Robert Ingram / Tvrdi uvez
common.buy 15.42 €

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

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

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