Piteşti | Biblioteca Universităţii |

Tipul înregistrării:	Text tipărit: monografic
Autor:	Baier, Christel
Autor alternativ:	Katoen, Joost-Pieter
Responsabilitate:	Christel Baier
Responsabilitate secundară:	Joost-Pieter Katoen
Editura:	The MIT Press
Locul publicării:	London
Anul Ediției:	2008
ISBN:	978-0-262-02649-9
Descriere:	xviii, 976 p.: il.; 25 cm.
Note:	Bibliogr. la p. 931-964
Limba:	Engleză
Subiect:	Calculatoare
Subiect:	Circuite de prelucrare
Subiect:	Algoritmi pentru evaluare
Subiect:	Modele matematice pentru cercetare operaţională
Cota topografică:	004 / B 18
Clasificare:	004.2/4:519.87
Clasificare:	519.87:004.2/4

LDR:00680nam# 2200205## 001 47615
009 ubfixit050.016 Principles of Model Checking\\ BAIER, Christel\
010 $a 978-0-262-02649-9 $d 220.77
020 $b 2009/1
100 $a 20141203d $a 03032009u########m##u0rumy50######ba
101 $a eng
200 $a Principles of Model Checking $f Christel Baier $g Joost-Pieter Katoen $b *Carte tipărită
210 $a London $L s8047 $c ‰NSB‰The ‰NSE‰MIT Press $d 2008
215 $a xviii, 976 p.: il. $d 25 cm.
300 $a Bibliogr. la p. 931-964
345 $b 2009/036
606 $3 90030 $a Calculatoare
606 $3 102827 $a Circuite de prelucrare
606 $3 102541 $a Algoritmi pentru evaluare
606 $3 98947 $a Modele matematice pentru cercetare operaţională
675 $a 004.2/4:519.87
675 $a 519.87:004.2/4
679 $a 004 $a 519.8 $d 0
700 $3 4135 $a Baier $b Christel
701 $3 42019 $a Katoen $b Joost-Pieter
801 0 $a RO $b UPIT $c 20141202 $2 unimarc
852 $j 004 / B 18