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.

Logics in Computer Science

Limba englezăengleză
Carte Copertă tare
Carte Logics in Computer Science Mogavero
Codul Libristo: 01367726
Editura Atlantis Press (Zeger Karssen), iulie 2013
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Grundlage der gesammten Wissenschaftslehre Johann Gottlieb Fichte / Carte Carte broșată
common.buy 79.14 lei
Mi amor en vano Soledad Puértolas / Carte Carte broșată
common.buy 144.06 lei
Kafka/Roky rozhodování Reiner Stach / Carte Copertă tare
common.buy 74.88 lei
Eliot und Isabella und die Abenteuer am Fluss Ingo Siegner / Carte Copertă tare
common.buy 58.57 lei
Un brin de maléfice Michelle Harrison / Carte Carte broșată
common.buy 110.93 lei

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

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 Logics in Computer Science
Autor Mogavero
Limba engleză
Legare Carte - Copertă tare
Data publicării 2013
Număr pagini 149
EAN 9789491216947
ISBN 9491216945
Codul Libristo 01367726
Editura Atlantis Press (Zeger Karssen)
Greutatea 400
Dimensiuni 163 x 241 x 15

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
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

Old Dogs Sally Muir / Carte Copertă tare
common.buy 77.89 lei
Always Krystle Triplett / Carte Carte broșată
common.buy 71.35 lei
Ministries of Mercy KELLER TIMOTHY / Carte Carte broșată
common.buy 77.89 lei
Bianca's Pocket Posh Journal, Polka Dot Andrews McMeel Publishing / Carte Carte broșată
common.buy 42.78 lei
The Night Life of the Gods Thorne Smith / Carte Carte broșată
common.buy 141.05 lei
The Word According to Eve: Women and the Bible in Ancient Times and Our Own Cullen Murphy / Carte Carte broșată
common.buy 121.52 lei
Isle of Wight Francis Frith / Carte Carte broșată
common.buy 83.71 lei
The Life Of Isaac Walton: Including Notices Of His Contemporaries (1823) Thomas Zouch / Carte Copertă tare
common.buy 198.38 lei
Two Hundred Years: The History Of The Society For Promoting Christian Knowledge 1698-1898 Edmund McClure / Carte Carte broșată
common.buy 208.46 lei
Great Experiment. a Novel. Mary Molesworth / Carte Carte broșată
common.buy 139.90 lei
Nineteenth-Century Literature Criticism Gale Group / Carte Copertă tare
common.buy 3 129.13 lei
Politeness in Presidential Debates William O. Dailey / Carte Copertă tare
common.buy 348.48 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?