Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
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 phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Model Checking Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Bernd Fischer
Libristo kod: 09486332
Nakladnici Springer International Publishing AG, kolovoz 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Cijeli opis
? points 125 b
51.63 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Nech se vést láskou Sri Chinmoy / Tiskanica Karte
common.buy 3.83 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalendar/Rokovnik Kalendar
common.buy 21.31 €
COLOREA TU UNICORNIO / Knjiga Knjiga
common.buy 8.18 €
Jóvenes empresarios: apoyo y formación / Knjiga Meki uvez
common.buy 54.26 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Knjiga Meki uvez
common.buy 14.44 €
Two Indian Children of Long Ago Frances Lilian Taylor / Knjiga Meki uvez
common.buy 15.35 €
Servalo Raine Hawthorn / Knjiga Meki uvez
common.buy 11.31 €
451° по Фаренгейту Рэй Брэдбери / Knjiga Tvrdi uvez
common.buy 13.23 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Knjiga Meki uvez
common.buy 61.43 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Knjiga Tvrdi uvez
common.buy 6.15 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Knjiga Meki uvez
common.buy 22.83 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Knjiga Meki uvez
common.buy 81.74 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Knjiga Tvrdi uvez
common.buy 79.01 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Knjiga Meki uvez
common.buy 19.49 €
MONSIEUR MARCEL ou de la communication PELAEZ / Knjiga Meki uvez
common.buy 15.35 €
Waiting for spring T01 / Knjiga Meki uvez
common.buy 10.40 €
Low Carb Diat Fur Anfanger Simone Jacobs / Knjiga Meki uvez
common.buy 15.75 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Knjiga Meki uvez
common.buy 11.71 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Knjiga Tvrdi uvez
common.buy 10.90 €
Povoljno
LAC Wanderkarte Madonie 1:50 000 / Tiskanica Mapa
common.buy 7.06 €
Jardin Des Cultures Guyanaises Buland-F / Knjiga Meki uvez
common.buy 63.96 €
Teczka ofertowa 9002 A4 20 koszulek / Knjiga binding.
common.buy 3.73 €
Krankheiten des Magens Max Einhorn / Knjiga Meki uvez
common.buy 24.14 €
TEHG - ZuV 2020 Lars Hoffmann / Knjiga Knjiga
common.buy 66.38 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
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 Bernd Fischer, Jaco Geldenhuys
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2015
Broj stranica 319
EAN 9783319234038
ISBN 331923403X
Libristo kod 09486332
Nakladnici Springer International Publishing AG
Težina 5153
Dimenzije 155 x 235 x 20

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

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Knjiga Tvrdi uvez
common.buy 641.27 €
Branding Japanese Food Katarzyna J. Cwiertka / Knjiga Tvrdi uvez
common.buy 84.98 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Knjiga Meki uvez
common.buy 71.03 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Knjiga Meki uvez
common.buy 31.82 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Knjiga Meki uvez
common.buy 20.30 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Knjiga Meki uvez
common.buy 12.12 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Knjiga Meki uvez
common.buy 11.71 €
The New Century Standard Letter-Writer Alfred B. Chambers / Knjiga Meki uvez
common.buy 35.66 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Knjiga Tvrdi uvez
common.buy 56.18 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Knjiga Meki uvez
common.buy 58.50 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Knjiga Meki uvez
common.buy 95.89 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Knjiga Tvrdi uvez
common.buy 44.86 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Knjiga Meki uvez
common.buy 15.75 €
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 Meki uvez
common.buy 10.80 €
Psychology Ryan Gold / Knjiga Meki uvez
common.buy 14.34 €
Delicious Rob Dunn / Knjiga Meki uvez
common.buy 16.46 €
Superpower Involvement In The Middle East Paul Marantz / E-knjiga Adobe ePub DRM
common.buy 52.03 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-knjiga Adobe ePub DRM
common.buy 1.91 €
Protecting Maggie / Knjiga Meki uvez
common.buy 15.75 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Knjiga Tvrdi uvez
common.buy 236.25 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Knjiga Meki uvez
common.buy 16.26 €
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Knjiga Meki uvez
common.buy 19.39 €
Analog Circuit Design Volume Three Bob Dobkin / Knjiga Tvrdi uvez
common.buy 103.16 €
Women Vietnam Veterans DONNA A. LOWERY / Knjiga Meki uvez
common.buy 31.11 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun