Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
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 phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Bernd Fischer
Koda Libristo: 09486332
Založba Springer International Publishing AG, avgust 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Celoten opis
? points 118 b
48.86 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Nech se vést láskou Sri Chinmoy / Tiskani izdelki Karte
common.buy 3.63 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Koledar/Rokovnik Koledar
common.buy 20.12 €
COLOREA TU UNICORNIO / Knjiga Knjiga
common.buy 7.88 €
Jóvenes empresarios: apoyo y formación / Knjiga Mehka
common.buy 51.08 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Knjiga Mehka
common.buy 13.55 €
Two Indian Children of Long Ago Frances Lilian Taylor / Knjiga Mehka
common.buy 14.56 €
Servalo Raine Hawthorn / Knjiga Mehka
common.buy 10.82 €
451° по Фаренгейту Рэй Брэдбери / Knjiga Trda
common.buy 12.43 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Knjiga Mehka
common.buy 58.07 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Knjiga Trda
common.buy 5.86 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Knjiga Mehka
common.buy 21.44 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Knjiga Mehka
common.buy 76.99 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Knjiga Trda
common.buy 74.96 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Knjiga Mehka
common.buy 18.51 €
MONSIEUR MARCEL ou de la communication PELAEZ / Knjiga Mehka
common.buy 14.66 €
Waiting for spring T01 / Knjiga Mehka
common.buy 10.01 €
Low Carb Diat Fur Anfanger Simone Jacobs / Knjiga Mehka
common.buy 14.76 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Knjiga Mehka
common.buy 11.02 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Knjiga Trda
common.buy 15.17 €
Poceni
LAC Wanderkarte Madonie 1:50 000 / Tiskani izdelki Zemljevid
common.buy 7.07 €
Jardin Des Cultures Guyanaises Buland-F / Knjiga Mehka
common.buy 60.29 €
Teczka ofertowa 9002 A4 20 koszulek / Knjiga binding.
common.buy 3.53 €
Krankheiten des Magens Max Einhorn / Knjiga Mehka
common.buy 22.75 €
TEHG - ZuV 2020 Lars Hoffmann / Knjiga Knjiga
common.buy 62.72 €

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Model Checking Software
Avtor Bernd Fischer, Jaco Geldenhuys
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2015
Število strani 319
EAN 9783319234038
ISBN 331923403X
Koda Libristo 09486332
Založba Springer International Publishing AG
Teža 5153
Mere 155 x 235 x 20

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Knjiga Trda
common.buy 608.68 €
Branding Japanese Food Katarzyna J. Cwiertka / Knjiga Trda
common.buy 80.53 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Knjiga Mehka
common.buy 67.98 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Knjiga Mehka
common.buy 30.44 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Knjiga Mehka
common.buy 19.32 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Knjiga Mehka
common.buy 11.52 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Knjiga Mehka
common.buy 11.22 €
The New Century Standard Letter-Writer Alfred B. Chambers / Knjiga Mehka
common.buy 33.58 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Knjiga Trda
common.buy 52.70 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Knjiga Mehka
common.buy 56.04 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Knjiga Mehka
common.buy 91.35 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Knjiga Trda
common.buy 42.69 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Knjiga Mehka
common.buy 14.96 €
Travel Activity Book For Kids Ages 6-8: Over 150 Travelling Activities for Children, including Puzzles, Mazes, Dot-to-Dots, Drawing and Coloring, Lett Natural Designs / Knjiga Mehka
common.buy 10.21 €
Psychology Ryan Gold / Knjiga Mehka
common.buy 13.75 €
Delicious Rob Dunn / Knjiga Mehka
common.buy 15.47 €
Superpower Involvement In The Middle East Paul Marantz / E-knjiga Adobe ePub DRM
common.buy 49.67 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-knjiga Adobe ePub DRM
common.buy 1.81 €
Protecting Maggie / Knjiga Mehka
common.buy 14.76 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Knjiga Trda
common.buy 223.80 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Knjiga Mehka
common.buy 15.57 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Knjiga Mehka
common.buy 18.30 €
Analog Circuit Design Volume Three Bob Dobkin / Knjiga Trda
common.buy 99.14 €
Women Vietnam Veterans DONNA A. LOWERY / Knjiga Mehka
common.buy 29.74 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo