Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

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

phone

Pomoć

Moj račun

▸ Prazno :-(

0

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Knjiga Model Checking Software María del Mar Gallardo

Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

María del Mar Gallardo

Jezik

Engleski

Knjiga Meki uvez

Knjiga Model Checking Software María del Mar Gallardo

Libristo kod: 19534895

Nakladnici Springer International Publishing AG, lipanj 2018

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking... Cijeli opis

Libristo kod: 19534895

?

points

125 b

51.75 €

Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Das Erbe Martin Wieland

/

Meki uvez

20.55 €

Gesammelte Werke Ernst Von Wildenbruch

/

Meki uvez

57.92 €

Biología: Selección y no selección Leandra Griffith -Jn Baptiste

/

Meki uvez

35.74 €

naanallada naanu s.g.shivashankar

/

Meki uvez

15.59 €

Plastic Death Glass Beach

/

Audio CD

22.07 €

Anders, Korbonski, Sieniewicz... Ziętara Paweł

/

Meki uvez

8.30 €

Integració socio-cultural y comunitat educativa. Tercer Simposi sobre Llengua, Educació i Immigració Vila

/

Meki uvez

14.88 €

Elaboración de vinos espumosos y cavas Madrid Vicente

/

Meki uvez

36.76 €

FANTAISIE SUR -IL PLEUT IL PLEUT BERGERE- GENIN PAUL-AGRICOLE Knjiga

Meki uvez

24.91 €

Rüyalar ve Uyanislar Defteri Latife Tekin

/

Meki uvez

14.17 €

Mise en place d'un budget prévisionnel de trésorerie Sarra Elhammami

/

Meki uvez

44.55 €

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

Glumica & Poliglotkinja

EWA KASP za

Pusti video

Ewa Kasp

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 María del Mar Gallardo, Pedro Merino

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2018

Broj stranica 347

EAN 9783319941103

ISBN 3319941100

Libristo kod 19534895

Nakladnici Springer International Publishing AG

Težina 557

Dimenzije 155 x 235 x 20

Kategorija

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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 modelling & simulation

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

Testing: Academic and Industrial Conference - Practice and Research Techniques Leonardo Bottaci

/

Meki uvez

58.63 €

Danger Music Eddie Ayres

/

Meki uvez

10.83 €

Metadata for Information Management and Retrieval DAVID HAYNES

/

Meki uvez

94.79 €

Glencoe Accounting: First Year Course, School-To-Work Handbook McGraw-Hill/Glencoe

/

Meki uvez

17.61 €

Ecocriticism and Italy Serenella Iovino

/

Meki uvez

55.70 €

Shays's Rebellion Richards

/

Meki uvez

23.79 €

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

Meki uvez

25.31 €

Inventive Engineering Tomasz Arciszewski

/

Tvrdi uvez

286.01 €

The True Story of the Three Billy Goats Gruff: The Troll's Side of the Story David Reynolds

/

Meki uvez

14.88 €

Villainous Jessica S Carter

/

Meki uvez

9.41 €

An ANFIS Based Study for High Impedance Faults in Distribution Systems M. S. Abdel Aziz

/

Meki uvez

44.55 €

Hymns, Psalms and Prayers Isaac Mayer Wise

/

Meki uvez

20.55 €

Tiny the Vancouver Easter Bunny Eric James

/

Tvrdi uvez

8.90 €

Avatar Coloring Book: Coloring Book for Kids and Adults with Fun, Easy, and Relaxing Coloring Pages Linda Johnson

/

Meki uvez

6.78 €

Radiant, Vol. 8, 8 Tony Valente

/

Meki uvez

8.40 €

Interpreting the New Testament Francis J. Moloney

/

Meki uvez

33.51 €

Catch a Falling Star Mason Stone

/

Meki uvez

10.83 €

genealogical dictionary of the first settlers of New England, Volume 2 James Savage

/

Adobe ePub DRM

11.43 €

The Heart of Your Script Phil Hughes

/

Meki uvez

34.12 €

The "Banner" of the Great Ming and Little China Consciousness Sun Weiguo

/

Tvrdi uvez

195.57 €

My Neighbor Jesus - In The Light Of His Own Language, People And Time George M. Lamsa

/

Meki uvez

32.81 €

Bon Iver Bon

/

Knjiga

22.88 €

Handbook of Metric Fixed Point Theory W. A. Kirk

/

Tvrdi uvez

164.78 €

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

Meki uvez

51.75 €

Književni savjetnik Libroamiko

Dobar dan, ja sam Libroamiko, mogu li vam pomoći?