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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

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

Model Checking Software

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

C. R. Ramakrishnan

Jezik

Engleski

Knjiga Meki uvez

Knjiga Model Checking Software Ezio Bartocci

Libristo kod: 01663942

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2013

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

Libristo kod: 01663942

?

points

125 b

51.53 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Kudy do pohody Karel Nešpor

/

Audio CD

6.24 €

Cocorico Le Survivant Littéraire Lsl

/

Meki uvez

8.36 €

Puzzle 3x48 Peppa Pig

/

Puzzle

6.14 €

EL ANGEL TRISTE PEREZ MERINERO

/

Meki uvez

24.10 €

Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann

/

Meki uvez

52.94 €

Ste. Roche Henriette Von Paalzow

/

Meki uvez

17.84 €

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

/

Meki uvez

6.14 €

Lieblingsschlager

/

Audio CD

16.73 €

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.

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

Jezik

Engleski

Uvez Knjiga - Meki uvez

Datum izdanja 2013

Broj stranica 377

EAN 9783642391750

ISBN 3642391753

Libristo kod 01663942

Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Težina 593

Dimenzije 155 x 235 x 22

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

Modern Syntheses of Cobalt (III) Complexes M. Shibata

/

Meki uvez

51.53 €

Organometallic Oxidation Catalysis Franc Meyer

/

Meki uvez

205.15 €

Dingbat: Adventures in Trickle Valley Jennifer White

/

Meki uvez

9.37 €

Finding Hope Dan Rogers

/

Meki uvez

15.73 €

Looking for Love with All the Wrong Husbands Tee Fuller

/

Tvrdi uvez

34.28 €

Dodging Shells W L Bertsch

/

Meki uvez

12.09 €

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

/

Meki uvez

30.85 €

52 Steps to Success Anthony Pan

/

Meki uvez

30.05 €

Soothing W. HANS MILLER

/

Tvrdi uvez

31.16 €

Pieter Vermeersch: Variations Dieter Roelstraete

/

Meki uvez

39.23 €

Advances in Biosensors Sergey Yurish

/

Tvrdi uvez

97.32 €

Glenview Beverly Roberts Dawson

/

Tvrdi uvez

24.50 €

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

/

Adobe ePub DRM

63.23 €

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

/

Adobe ePub DRM

19.56 €

Digital Marketing Foundations and Strategy Lauren Labrecque

/

Meki uvez

219.57 €

Memorable Edinburgh Houses Wilmot Harrison

/

Tvrdi uvez

30.65 €

Little Bear Lost Jane Hissey

/

Meki uvez

9.47 €

Living the Beatles Legend Kenneth Womack

/

Meki uvez

13.91 €

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

/

Adobe ePub DRM

9.37 €

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

/

Tvrdi uvez

94.40 €

Making Men into Fathers Barbara Hobson

/

Tvrdi uvez

78.56 €

Greek Islands Korina Miller

/

Meki uvez

29.34 €

National Federation of Women Workers, 1906-1921 Cathy Hunt

/

Tvrdi uvez

108.92 €

High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan

/

Meki uvez

102.67 €

Književni savjetnik Libroamiko

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