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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Systems and Software Verification

Limba englezăengleză
Carte Carte broșată
Carte Systems and Software Verification B. Berard
Codul Libristo: 01652609
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, decembrie 2010
Model checking is a powerful approach for the formal verification of software. It automatically prov... Descrierea completă
? points 367 b
793.89 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur / Carte Carte broșată
common.buy 65.03 lei
Exzellenz in Dienstleistung Und Vertrieb Dieter Ahlert / Carte Carte broșată
common.buy 234.64 lei
OXFORD Školní sešit A6 "644" linka 40 listů CZ/SK / Articole de papetărie Articole de papetărie
common.buy 7.15 lei
Maoři Václav Černý / Carte Copertă tare
common.buy 85.78 lei
GERMAN, E JUST SO SONGS SATB/PIANO CHANT GERMAN Carte binding.
common.buy 154.45 lei
Иди и делай. 12 принципов жизни, полной побед и достижений / Carte Copertă tare
common.buy 100.62 lei
Un chien à ma table Hunzinger / Carte Carte broșată
common.buy 165.24 lei
Radical Left Voters in Western Europe Raul Gomez / Carte Carte broșată
common.buy 337.03 lei
The Fame Monster Lady Gaga Audio Audio CD
common.buy 56.11 lei

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

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 Systems and Software Verification
Autor B. Berard, M. Bidoit, A. Finkel, F. Laroussinie
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 190
EAN 9783642074783
ISBN 3642074782
Codul Libristo 01652609
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 328
Dimensiuni 155 x 235 x 18

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Cultures of Power in Post-Communist Russia Michael Urban / Carte Copertă tare
common.buy 395.96 lei
The Photographer's Eye - Developing an Artistic Vision for Architectural Photography PS Publishing / Carte Carte broșată
common.buy 69.60 lei
Complete Air Fried Seafood Cookbook Lucy Grant / Carte Copertă tare
common.buy 140.45 lei
Top
Real Planet of the Apes David R. Begun / Carte Carte broșată
common.buy 152.48 lei
Fate Knocks at the Door WILL LEVING COMFORT / Carte Copertă tare
common.buy 199.17 lei
The Witwer Files D. L. Dennis / Carte Carte broșată
common.buy 87.03 lei
Beauty and the Beast (Illustrated Edition) Gabrielle-Suzanne Barbot De Villeneuve / Carte Carte broșată
common.buy 44.08 lei
Second Cup Mike Malinchok / Carte Carte broșată
common.buy 89.00 lei
Never In Her Arms Charles Nuetzel / Carte Carte broșată
common.buy 90.55 lei
Memoir Of The Last Illness And Death Of William Tharp Buchanan, Of Ilfracombe (1837) William Shepherd / Carte Carte broșată
common.buy 121.57 lei
Tell Me About the Holy Spirit Gerald O'Mahony / Carte Carte broșată
common.buy 85.06 lei
Japanese Influences and Presences in Asia Ian Reader / Carte Copertă tare
common.buy 727.81 lei
Violin Scales, Arpeggios & Studies Initial-Grade 8 from 2016 Trinity College London / Materiale tipărite Note muzicale
common.buy 139.52 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
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?