Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

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

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Provably Correct Systems

Mike Hinchey

Jonathan P. Bowen

Ernst-Rüdiger Olderog

Limba

engleză

Carte Copertă tare

Codul Libristo: 14441278

Editura Springer International Publishing AG, martie 2017

As computers increasingly control the systems and services we depend upon within our daily lives lik... Descrierea completă

Codul Libristo: 14441278

263 b

568.52 lei

În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Infecciones, vacunas y enfermedad inflamatoria intestinal Elena . . . [et al. ] Ricart Gómez

Carte broșată

108.37 lei

Morike-Storm Briefwechsel (1891) Jakob Baechtold

Carte broșată

111.39 lei

Le philosophe et ses pauvres Rancière

Carte broșată

83.95 lei

Des ressources humaines aux ressources de l'excellence Bück

Carte broșată

180.70 lei

Praxis Der Induktiven Warmbehandlung Kurt Kegel

Carte broșată

292.83 lei

Publizität und die Verbindung von Rechten im Kontext von Wertpapieren und Bucheffekten Christopher Kubien

Carte broșată

465.95 lei

Diagnóstico ecográfico transvaginal de la adenomiosis Silke Dyer

Carte broșată

197.74 lei

Verhaltnis von Kunst und Politik Carsten Lincke

Carte broșată

94.76 lei

Gnade Linn Ullmann

Carte broșată

45.61 lei

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within many trades and sectors such as aerospace, electronics, communications, and retail. The following topics are covered: A historical account of the ProCoS project Hybrid Systems Correctness of Concurrent Algorithms Interfaces and Linking Automatic Verification Run-time Assertions Checking Formal and Semi-Formal Methods Provably Correct Systems provides researchers, designers and engineers with a complete overview of the ProCoS initiative, past and present, and explores current developments and perspectives within the field.