Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking Software

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

Limba englezăengleză
Carte Carte broșată
Carte Model Checking Software Bernd Fischer
Codul Libristo: 09486332
Editura Springer International Publishing AG, august 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Descrierea completă
? points 132 b
286.33 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Nech se vést láskou Sri Chinmoy / Materiale tipărite Cărți
common.buy 21.49 lei
Japan - Kunst der Traditionen (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Calendar / Agendă Calendar
common.buy 118.89 lei
COLOREA TU UNICORNIO / Carte Carte
common.buy 44.98 lei
Jóvenes empresarios: apoyo y formación / Carte Carte broșată
common.buy 302.41 lei
Bericht zum Praktikum in einem Rehabilitationszentrum Janine Berger / Carte Carte broșată
common.buy 80.16 lei
Two Indian Children of Long Ago Frances Lilian Taylor / Carte Carte broșată
common.buy 85.90 lei
Servalo Raine Hawthorn / Carte Carte broșată
common.buy 62.83 lei
451° по Фаренгейту Рэй Брэдбери / Carte Copertă tare
common.buy 73.90 lei
Ruta estocastica mas corta mediante MDP priorizado y reglamentado Ma.de Guadalupe Garcia-Hernandez / Carte Carte broșată
common.buy 341.04 lei
Miraculous Première lecture CP 2 L'hypnotiseur EMMANUELLE SAINT / Carte Copertă tare
common.buy 33.71 lei
Adobe Photoshop, Illustrator i InDesign. Współdziałanie i przepływ pracy. Oficjalny podręcznik instruktażowy Adobe Bart Van de Wiele / Carte Carte broșată
common.buy 127.14 lei
Sprawochnik po biostatistike i metodologii issledowanij w ortodontii Shantanu Sharma / Carte Carte broșată
common.buy 455.45 lei
Der Elektrifizierungsroman Andrej Platonovs Konstantin Kaminskij / Carte Copertă tare
common.buy 437.81 lei
Cronache anticapitaliste. Guida alla lotta di classe per il XXI secolo David Harvey / Carte Carte broșată
common.buy 108.03 lei
MONSIEUR MARCEL ou de la communication PELAEZ / Carte Carte broșată
common.buy 84.34 lei
Waiting for spring T01 / Carte Carte broșată
common.buy 57.61 lei
Low Carb Diat Fur Anfanger Simone Jacobs / Carte Carte broșată
common.buy 87.99 lei
Wie spreche ich eine Frau an? In 6 Schritten zum perfekten Date Stefan Linger / Carte Carte broșată
common.buy 65.23 lei
DUSK MAIDEN OF AMNESIA 4 MAYBE / Carte Copertă tare
common.buy 60.02 lei
Leftin
LAC Wanderkarte Madonie 1:50 000 / Materiale tipărite Hartă
common.buy 37.36 lei
Jardin Des Cultures Guyanaises Buland-F / Carte Carte broșată
common.buy 356.70 lei
Teczka ofertowa 9002 A4 20 koszulek / Carte binding.
common.buy 20.45 lei
Krankheiten des Magens Max Einhorn / Carte Carte broșată
common.buy 134.55 lei
TEHG - ZuV 2020 Lars Hoffmann / Carte Carte
common.buy 368.70 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking Software
Autor Bernd Fischer, Jaco Geldenhuys
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 319
EAN 9783319234038
ISBN 331923403X
Codul Libristo 09486332
Editura Springer International Publishing AG
Greutatea 5153
Dimensiuni 155 x 235 x 20

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Health Care for People with Intellectual and Developmental Disabilities across the Lifespan I. Leslie Rubin / Carte Copertă tare
common.buy 3 552.63 lei
Branding Japanese Food Katarzyna J. Cwiertka / Carte Copertă tare
common.buy 470.90 lei
History and Development of the Arabic Language Mohamed El-Sharkawi / Carte Carte broșată
common.buy 390.41 lei
Walks, Tracks and Trails of Queensland's Tropics Derrick Stone / Carte Carte broșată
common.buy 175.47 lei
Journal of Biblical and Theological Studies Ryan A. Brandt / Carte Carte broșată
common.buy 112.21 lei
Who do you see in the Moon / ?Quién ve usted en la Luna? Cyndi Ambrose / Carte Carte broșată
common.buy 67.11 lei
Study Guide for Frank Loesser/Abe Burrows/Jo Swerling's Guys and Dolls Cengage Learning Gale / Carte Carte broșată
common.buy 65.03 lei
The New Century Standard Letter-Writer Alfred B. Chambers / Carte Carte broșată
common.buy 198.65 lei
Apariencia Al Desnudo (Appearance Stripped Bare) (Spanish Edition) Massimiliano Gioni / Carte Copertă tare
common.buy 314.10 lei
Pattern Recognition and Machine Intelligence Sergei O. Kuznetsov / Carte Carte broșată
common.buy 321.93 lei
US Presidential Doctrines Handbook - Volume 1 President Barack Obama Doctrine - Strategic Information and Materials Inc Ibp / Carte Carte broșată
common.buy 529.15 lei
Come Out of the Kitchen! a Romance (1916) Alice Duer Miller / Carte Copertă tare
common.buy 247.40 lei
Complete Anti-Inflammatory Diet Cookbook CLAUDE WATERS / Carte Carte broșată
common.buy 87.16 lei
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 / Carte Carte broșată
common.buy 59.60 lei
Psychology Ryan Gold / Carte Carte broșată
common.buy 78.91 lei
Delicious Rob Dunn / Carte Carte broșată
common.buy 92.17 lei
Superpower Involvement In The Middle East Paul Marantz / E-book Adobe ePub DRM
common.buy 287.17 lei
Final Falcon Says I Do (Mills & Boon Cherish) Lucy Gordon / E-book Adobe ePub DRM
common.buy 10.64 lei
Protecting Maggie / Carte Carte broșată
common.buy 87.99 lei
Zinc in Soil-Plant Continuum Sudhakar Srivastava / Carte Copertă tare
common.buy 1 311.56 lei
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Carte Carte broșată
common.buy 89.97 lei
Top
Inuyasha (VIZBIG Edition), Vol. 1 Rumiko Takahashi / Carte Carte broșată
common.buy 108.87 lei
Analog Circuit Design Volume Three Bob Dobkin / Carte Copertă tare
common.buy 565.37 lei
Women Vietnam Veterans DONNA A. LOWERY / Carte Carte broșată
common.buy 171.71 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo