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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 Ezio Bartocci

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

C. R. Ramakrishnan

Jezik

Angleščina

Knjiga Mehka

Knjiga Model Checking Software Ezio Bartocci

Koda Libristo: 01663942

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maj 2013

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

Koda Libristo: 01663942

?

points

118 b

48.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Kudy do pohody Karel Nešpor

/

Zvočni CD

5.45 €

Lieblingsschlager

/

Zvočni CD

16.05 €

Ste. Roche Henriette Von Paalzow

/

Mehka

16.76 €

Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira

/

Mehka

5.85 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

/

Mehka

50.10 €

Hisskillen i Lissabon Cupido

/

MP3

2.82 €

Puzzle 3x48 Peppa Pig

/

Sestavljanka

5.75 €

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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 Ezio Bartocci, C. R. Ramakrishnan

Jezik

Angleščina

Vezava Knjiga - Mehka

Datum izida 2013

Število strani 377

EAN 9783642391750

ISBN 3642391753

Koda Libristo 01663942

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Teža 593

Mere 155 x 235 x 22

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

Organometallic Oxidation Catalysis Franc Meyer

/

Mehka

194.27 €

Modern Syntheses of Cobalt (III) Complexes M. Shibata

/

Mehka

48.79 €

Monteverdi: Vespers (1610) John (University of Birmingham) Whenham

/

Trda

90.21 €

Execution Gap: When Law Exists But Rights Don't Attach Thomas Hornig

/

Adobe ePub DRM

8.88 €

Living the Beatles Legend Kenneth Womack

/

Mehka

12.92 €

Memorable Edinburgh Houses Wilmot Harrison

/

Trda

29.19 €

How to Create Manga: Drawing Clothing and Accessories Studio Hard Deluxe Inc.

/

Adobe ePub DRM

18.28 €

Security, Defense Discourse and Identity in NATO and Europe Falk Ostermann

/

Adobe ePub DRM

57.07 €

Dingbat: Adventures in Trickle Valley Jennifer White

/

Mehka

8.98 €

Pieter Vermeersch: Variations Dieter Roelstraete

/

Mehka

40.81 €

Soothing W. HANS MILLER

/

Trda

29.79 €

52 Steps to Success Anthony Pan

/

Mehka

28.58 €

Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D

/

Mehka

29.39 €

Dodging Shells W L Bertsch

/

Mehka

11.51 €

Looking for Love with All the Wrong Husbands Tee Fuller

/

Trda

37.27 €

Finding Hope Dan Rogers

/

Mehka

14.94 €

Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith

/

Mehka

13.83 €

Making Men into Fathers Barbara Hobson

/

Trda

75.06 €

Greek Islands Korina Miller

/

Mehka

28.28 €

National Federation of Women Workers, 1906-1921 Cathy Hunt

/

Trda

104.05 €

High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan

/

Mehka

97.28 €

Disobeying the Security Council Antonios Tzanakopoulos

/

Mehka

55.46 €

Extreme-occident Jean-Philippe Mathy

/

Trda

100.82 €

Emancipating Cultural Pluralism Cris E. Toffolo

/

Mehka

38.08 €

Knjižni svetovalec Libroamiko

Pozdravljeni, sem Libroamiko, vam lahko pomagam?