Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

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

phone

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

0

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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

Angleščina

Knjiga Mehka

Knjiga Model Checking Software María del Mar Gallardo

Koda Libristo: 19534895

Založba Springer International Publishing AG, junij 2018

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

Koda Libristo: 19534895

?

points

118 b

48.91 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

naanallada naanu s.g.shivashankar

/

Mehka

14.88 €

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

/

Mehka

33.62 €

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

/

Mehka

41.92 €

Das Erbe Martin Wieland

/

Mehka

19.44 €

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

/

Mehka

14.07 €

Elaboración de vinos espumosos y cavas Madrid Vicente

/

Mehka

35.03 €

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

Mehka

23.79 €

Rüyalar ve Uyanislar Defteri Latife Tekin

/

Mehka

13.46 €

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

/

Mehka

7.79 €

Gesammelte Werke Ernst Von Wildenbruch

/

Mehka

54.58 €

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.

Igralka & Poliglotka

EWA KASP za

Predvajaj video

Ewa Kasp

Ewa Kasp

Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software

Avtor María del Mar Gallardo, Pedro Merino

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2018

Število strani 347

EAN 9783319941103

ISBN 3319941100

Koda Libristo 19534895

Založba Springer International Publishing AG

Teža 557

Mere 155 x 235 x 20

Kategorije

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

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

Hymns, Psalms and Prayers Isaac Mayer Wise

/

Mehka

19.44 €

The Heart of Your Script Phil Hughes

/

Mehka

32.70 €

Ecocriticism and Italy Serenella Iovino

/

Mehka

55.70 €

Tiny the Vancouver Easter Bunny Eric James

/

Trda

8.30 €

Bon Iver Bon

/

Knjiga

21.56 €

Egyptian Colloquial Arabic Verbs Matthew Aldrich

/

Mehka

23.79 €

Inventive Engineering Tomasz Arciszewski

/

Trda

271.63 €

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

/

Mehka

14.07 €

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

/

Mehka

41.92 €

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

/

Mehka

16.70 €

Danger Music Eddie Ayres

/

Mehka

10.12 €

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

/

Mehka

6.37 €

Radiant, Vol. 8, 8 Tony Valente

/

Mehka

7.89 €

Interpreting the New Testament Francis J. Moloney

/

Mehka

31.39 €

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

/

Adobe ePub DRM

10.93 €

Catch a Falling Star Mason Stone

/

Mehka

10.32 €

Towards a Federal Europe Alexander H. Trechsel

/

Mehka

47.29 €

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

/

Trda

185.44 €

Developmental-Behavioral Disorders Marvin I. Gottlieb

/

Mehka

48.91 €

Creating Textures in Pen & Ink with Watercolor Claudia Nice

/

Mehka

17.61 €

Introduction to Transport Policy - A Public Policy View Peter R. Stopher

/

Trda

150.19 €

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

/

Mehka

32.81 €

Free Fall Robert Crais

/

Mehka

13.97 €

Electronic Banking Scn Education B. V.

/

Mehka

97.53 €