Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Model Checking Software

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Model Checking Software Bernd Fischer
Libristo-code: 09486332
Uitgeverij Springer International Publishing AG, augustus 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Nech se vést láskou Sri Chinmoy / Drukwerk Speelkaarten
common.buy 4.04 €
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 21.34 €
COLOREA TU UNICORNIO / Boek Boek
common.buy 8.59 €
Jóvenes empresarios: apoyo y formación / Boek Gebonden (paperback)
common.buy 54.32 €
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Boek Gebonden (paperback)
common.buy 14.46 €
Two Indian Children of Long Ago Frances Lilian Taylor / Boek Gebonden (paperback)
common.buy 15.37 €
Servalo Raine Hawthorn / Boek Gebonden (paperback)
common.buy 11.32 €
451° по Фаренгейту Рэй Брэдбери / Boek Gebonden (harde band)
common.buy 14.86 €
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Boek Gebonden (paperback)
common.buy 68.18 €
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Boek Gebonden (harde band)
common.buy 6.36 €
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Boek Gebonden (paperback)
common.buy 24.17 €
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Boek Gebonden (paperback)
common.buy 81.84 €
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Boek Gebonden (harde band)
common.buy 87.41 €
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Boek Gebonden (paperback)
common.buy 20.53 €
MONSIEUR MARCEL ou de la communication PELAEZ / Boek Gebonden (paperback)
common.buy 16.08 €
Waiting for spring T01 / Boek Gebonden (paperback)
common.buy 10.92 €
Low Carb Diat Fur Anfanger Simone Jacobs / Boek Gebonden (paperback)
common.buy 15.77 €
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Boek Gebonden (paperback)
common.buy 11.73 €
DUSK MAIDEN OF AMNESIA 4 MAYBE / Boek Gebonden (harde band)
common.buy 17.09 €
Voordelig
LAC Wanderkarte Madonie 1:50 000 / Drukwerk Kaart
common.buy 7.07 €
Jardin Des Cultures Guyanaises Buland-F / Boek Gebonden (paperback)
common.buy 64.04 €
Teczka ofertowa 9002 A4 20 koszulek / Boek binding.
common.buy 3.83 €
Krankheiten des Magens Max Einhorn / Boek Gebonden (paperback)
common.buy 24.17 €
TEHG - ZuV 2020 Lars Hoffmann / Boek Boek
common.buy 73.75 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Model Checking Software
Auteur Bernd Fischer, Jaco Geldenhuys
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 319
EAN 9783319234038
ISBN 331923403X
Libristo-code 09486332
Uitgeverij Springer International Publishing AG
Gewicht 5153
Afmetingen 155 x 235 x 20

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Boek Gebonden (harde band)
common.buy 709.05 €
Branding Japanese Food Katarzyna J. Cwiertka / Boek Gebonden (harde band)
common.buy 89.53 €
History and Development of the Arabic Language Mohamed El-Sharkawi / Boek Gebonden (paperback)
common.buy 71.12 €
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Boek Gebonden (paperback)
common.buy 31.86 €
Journal of Biblical and Theological Studies Ryan A. Brandt / Boek Gebonden (paperback)
common.buy 20.33 €
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Boek Gebonden (paperback)
common.buy 12.13 €
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Boek Gebonden (paperback)
common.buy 11.73 €
The New Century Standard Letter-Writer Alfred B. Chambers / Boek Gebonden (paperback)
common.buy 35.71 €
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Boek Gebonden (harde band)
common.buy 56.25 €
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Boek Gebonden (paperback)
common.buy 58.57 €
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Boek Gebonden (paperback)
common.buy 96.01 €
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Boek Gebonden (harde band)
common.buy 44.91 €
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Boek Gebonden (paperback)
common.buy 15.77 €
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 / Boek Gebonden (paperback)
common.buy 10.82 €
Psychology Ryan Gold / Boek Gebonden (paperback)
common.buy 14.36 €
Delicious Rob Dunn / Boek Gebonden (paperback)
common.buy 16.48 €
Superpower Involvement In The Middle East Paul Marantz / E-book Adobe ePub DRM
common.buy 54.63 €
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-book Adobe ePub DRM
common.buy 2.01 €
Protecting Maggie / Boek Gebonden (paperback)
common.buy 15.77 €
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Boek Gebonden (harde band)
common.buy 236.54 €
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Boek Gebonden (paperback)
common.buy 16.28 €
TOP
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Boek Gebonden (paperback)
common.buy 19.42 €
Analog Circuit Design Volume Three Bob Dobkin / Boek Gebonden (harde band)
common.buy 103.29 €
Women Vietnam Veterans DONNA A. LOWERY / Boek Gebonden (paperback)
common.buy 31.15 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken