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

A Study on Extensions of Temporal and Strategic Logics

Limba englezăengleză
Carte Carte broșată
Carte Logics in Computer Science Fabio Mogavero
Codul Libristo: 09880118
Editura Atlantis Press (Zeger Karssen), august 2015
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp... Descrierea completă
? points 140 b
302.57 lei
La editor doar la comandă Expediem în 17-27 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Gry rodzinne. Jak myślenie systemowe może uratować ciebie, twoją rodzinę i świat Joanna Flis / Carte Carte broșată
common.buy 72.49 lei
Podvečer v Saigone Jaro Vlnka / Carte Carte broșată
common.buy 31.98 lei
Puritanische versus moderne Sexualität Oliver Baum / Carte Carte broșată
common.buy 89.53 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 Fabio Mogavero
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 149
EAN 9789462390560
ISBN 9789462390560
Codul Libristo 09880118
Editura Atlantis Press (Zeger Karssen)
Greutatea 2642
Dimensiuni 155 x 235 x 10

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

Modern Manners Dorothea Johnson / Carte Copertă tare
common.buy 84.75 lei
Fascist Italy and Nazi Germany Richard Bessel / Carte Copertă tare
common.buy 409.87 lei
Aunt Margery's Maxims: Work, Watch, Wait (1885) Sophia Tandy / Carte Carte broșată
common.buy 131.91 lei
Transition Towards Post-Deng China Xiaobo Hu / Carte Carte broșată
common.buy 168.26 lei
Mom Spilled the Pickles Cynthia L Martin / Carte Carte broșată
common.buy 62.10 lei
Veiled Intent Natasha Duquette / Carte Copertă tare
common.buy 247.00 lei
Africa and Its Inhabitants Élisée Reclus / Carte Carte broșată
common.buy 182.80 lei
Financial Happine$$: Discover what a pink wig, and a "crazy" way of thinking can do to change the course of your life, FOREVER! Mike Finley / Carte Carte broșată
common.buy 106.15 lei
Do Monsters Wear Undies? Mark Smith / Carte Carte broșată
common.buy 56.91 lei
Life as a Medium: Gift or Curse Barbara Chamberlain / Carte Carte broșată
common.buy 66.78 lei
It Is Always the Bad Guys William J Crumley Csc / Carte Carte broșată
common.buy 42.16 lei
Learn Malaysian by Association - Lingo Links: The Easy Playful Way to Learn a New Language. James S Harvey / Carte Carte broșată
common.buy 71.56 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?