Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
Description
The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.
Price history chart & currency exchange rate
Customers also viewed
![The Reactor handbook. Contributors: Argonne National Laboratory and others. Coordination and editing by J.F. Hogerton and R.C. Grass Vitro Corporation of America] Volume v.3 pt.1 1955 [LEATHER B
The Reactor handbook. Contributors: Argonne National Laboratory and others. Coordination and editing by J.F. Hogerton and R.C. Grass Vitro Corporation of America] Volume v.3 pt.1 1955 [LEATHER B](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
36%
$67.08
The Reactor handbook. Contributors: Argonne National Laboratory and others. Coordination and editing by J.F. Hogerton and R.C. Grass Vitro Corporation of America] Volume v.3 pt.1 1955 [LEATHER B
walmart.com![Superintendents and Principals Association of Northern Illinois. Report of Committee of Seven on an Outline Course of Study on a Scientific Basis. Special Subject-Elementary Science Volume 11
Superintendents and Principals Association of Northern Illinois. Report of Committee of Seven on an Outline Course of Study on a Scientific Basis. Special Subject-Elementary Science Volume 11](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
26%
$47.58
Superintendents and Principals Association of Northern Illinois. Report of Committee of Seven on an Outline Course of Study on a Scientific Basis. Special Subject-Elementary Science Volume 11
walmart.com![Handbook for county superintendents in Florida. Prepared at the University of Florida Gainesville Florida work-conference on school administrative problems Edgar L. Morphet director. Volume
Handbook for county superintendents in Florida. Prepared at the University of Florida Gainesville Florida work-conference on school administrative problems Edgar L. Morphet director. Volume](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
25%
$56.17
Handbook for county superintendents in Florida. Prepared at the University of Florida Gainesville Florida work-conference on school administrative problems Edgar L. Morphet director. Volume
walmart.com![Antarctic journal of the United States / National Science Foundation Volume v.13-15 (1979-1980) 1980 [LEATHER BOUND]
Antarctic journal of the United States / National Science Foundation Volume v.13-15 (1979-1980) 1980 [LEATHER BOUND]](http://i5.walmartimages.com/asr/7387365b-68ea-470c-a1b6-4f543081ca43.b18b6dd2a776ebbddc341f295ff12e63.jpeg?odnHeight=450&odnWidth=450&odnBg=FFFFFF)
24%
$49.53
Antarctic journal of the United States / National Science Foundation Volume v.13-15 (1979-1980) 1980 [LEATHER BOUND]
walmart.com![Quarterly journal of microscopical science Volume new ser.:v.39 (1896-1897):plates 1853 [LEATHER BOUND]
Quarterly journal of microscopical science Volume new ser.:v.39 (1896-1897):plates 1853 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
23%
$51.79
Quarterly journal of microscopical science Volume new ser.:v.39 (1896-1897):plates 1853 [LEATHER BOUND]
walmart.com![The American journal of science. v.130 1885 & Index v.21-3. Volume v.130 1885 & Index v.21-3 1885 [LEATHER BOUND]
The American journal of science. v.130 1885 & Index v.21-3. Volume v.130 1885 & Index v.21-3 1885 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
20%
$65.82
The American journal of science. v.130 1885 & Index v.21-3. Volume v.130 1885 & Index v.21-3 1885 [LEATHER BOUND]
walmart.com![The Phrenological journal and science of health. Volume v.86-87 1888 1888 [LEATHER BOUND]
The Phrenological journal and science of health. Volume v.86-87 1888 1888 [LEATHER BOUND]](http://i5.walmartimages.com/asr/0c6f0fd2-4ff3-4ef5-ad9c-b91345f51b09.ae67b0d70521c019be0005fe8251e8d7.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
17%
$67.04
The Phrenological journal and science of health. Volume v.86-87 1888 1888 [LEATHER BOUND]
walmart.com![The School of Mines quarterly; a journal of applied science ... Volume c.1 v.13 1891/92 1892 [LEATHER BOUND]
The School of Mines quarterly; a journal of applied science ... Volume c.1 v.13 1891/92 1892 [LEATHER BOUND]](http://i5.walmartimages.com/asr/0c6f0fd2-4ff3-4ef5-ad9c-b91345f51b09.ae67b0d70521c019be0005fe8251e8d7.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
14%
$62.16
The School of Mines quarterly; a journal of applied science ... Volume c.1 v.13 1891/92 1892 [LEATHER BOUND]
walmart.com![The American journal of science. v.42 Apr. 1842. Volume v.42 Apr. 1842 1842 [LEATHER BOUND]
The American journal of science. v.42 Apr. 1842. Volume v.42 Apr. 1842 1842 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
13%
$59.22
The American journal of science. v.42 Apr. 1842. Volume v.42 Apr. 1842 1842 [LEATHER BOUND]
walmart.com![The American journal of science. Volume c.3 v.60 1850 &index v.51-60 1850 [LEATHER BOUND]
The American journal of science. Volume c.3 v.60 1850 &index v.51-60 1850 [LEATHER BOUND]](http://i5.walmartimages.com/asr/0c6f0fd2-4ff3-4ef5-ad9c-b91345f51b09.ae67b0d70521c019be0005fe8251e8d7.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
12%
$61.66
The American journal of science. Volume c.3 v.60 1850 &index v.51-60 1850 [LEATHER BOUND]
walmart.com![Quarterly journal of microscopical science Volume new. ser.:v.37 (1894-1895):text 1853 [LEATHER BOUND]
Quarterly journal of microscopical science Volume new. ser.:v.37 (1894-1895):text 1853 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
10%
$73.00
Quarterly journal of microscopical science Volume new. ser.:v.37 (1894-1895):text 1853 [LEATHER BOUND]
walmart.com![Canada medical journal and monthly record of medical and surgical science Volume 7 1871 [LEATHER BOUND]
Canada medical journal and monthly record of medical and surgical science Volume 7 1871 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
8%
$77.21
Canada medical journal and monthly record of medical and surgical science Volume 7 1871 [LEATHER BOUND]
walmart.com![The Madras journal of literature and science. Volume v.4 (1836) 1836 [LEATHER BOUND]
The Madras journal of literature and science. Volume v.4 (1836) 1836 [LEATHER BOUND]](http://i5.walmartimages.com/asr/0c6f0fd2-4ff3-4ef5-ad9c-b91345f51b09.ae67b0d70521c019be0005fe8251e8d7.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
5%
$63.95
The Madras journal of literature and science. Volume v.4 (1836) 1836 [LEATHER BOUND]
walmart.com![Fiscal year 1982 Department of Energy authorization : hearings before the Committee on Science and Technology U.S. House of Representatives Ninety-seventh Congress first session. Volume v.3 [L
Fiscal year 1982 Department of Energy authorization : hearings before the Committee on Science and Technology U.S. House of Representatives Ninety-seventh Congress first session. Volume v.3 [L](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
2%
$68.30
Fiscal year 1982 Department of Energy authorization : hearings before the Committee on Science and Technology U.S. House of Representatives Ninety-seventh Congress first session. Volume v.3 [L
walmart.com![Quarterly journal of microscopical science Volume new ser.:v.12 (1872) 1853 [LEATHER BOUND]
Quarterly journal of microscopical science Volume new ser.:v.12 (1872) 1853 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$71.37
Quarterly journal of microscopical science Volume new ser.:v.12 (1872) 1853 [LEATHER BOUND]
walmart.com![The Journal of the College of Science Imperial University of Tokyo Japan = Tokyo Teikoku Daigaku kiyo. Rika Volume 4 1891 [LEATHER BOUND]
The Journal of the College of Science Imperial University of Tokyo Japan = Tokyo Teikoku Daigaku kiyo. Rika Volume 4 1891 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$69.84
The Journal of the College of Science Imperial University of Tokyo Japan = Tokyo Teikoku Daigaku kiyo. Rika Volume 4 1891 [LEATHER BOUND]
walmart.com![Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 15 1921 [L
Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 15 1921 [L](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$63.10
Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 15 1921 [L
walmart.com![Laser Measuring Device, 165-foot Digital Line Laser Rangefinder, With 2 Bubble Levels, M/in/ft Unit Switching Backlit Lcd, Portable Measuring Distance, Measuring Area, Measuring Volume (165 Feet)
Laser Measuring Device, 165-foot Digital Line Laser Rangefinder, With 2 Bubble Levels, M/in/ft Unit Switching Backlit Lcd, Portable Measuring Distance, Measuring Area, Measuring Volume (165 Feet)](http://img.kwcdn.com/product/1d6586f228/c193ae33-7463-4dd9-8e0f-4bb02df22c5d_1198x1198.jpeg.a.jpg)
1%
$20.49
Laser Measuring Device, 165-foot Digital Line Laser Rangefinder, With 2 Bubble Levels, M/in/ft Unit Switching Backlit Lcd, Portable Measuring Distance, Measuring Area, Measuring Volume (165 Feet)
temu.com![Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 14 1920 [L
Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 14 1920 [L](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$71.81
Science technology and social responsibility : a discussion meeting organized by L. Wolpert I. Nussey and A. MacDonald and held at the Royal Society on Tuesday 16 March 1999 Volume 14 1920 [L
walmart.com![La science parfaite des notaires ou Le moyen de faire un parfait notaire.... Tome 1 / . Nouvelle édition revue corrigée & augmentée par Me Claude-Joseph de Ferrière ... Volume 2 1728 [LEATHER
La science parfaite des notaires ou Le moyen de faire un parfait notaire.... Tome 1 / . Nouvelle édition revue corrigée & augmentée par Me Claude-Joseph de Ferrière ... Volume 2 1728 [LEATHER](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$71.88
La science parfaite des notaires ou Le moyen de faire un parfait notaire.... Tome 1 / . Nouvelle édition revue corrigée & augmentée par Me Claude-Joseph de Ferrière ... Volume 2 1728 [LEATHER
walmart.com![Science Experiment Set ABS Electricity Magnetism Learning Kit Matching Textbook For Experiment For Teaching
Science Experiment Set ABS Electricity Magnetism Learning Kit Matching Textbook For Experiment For Teaching](http://i5.walmartimages.com/asr/ac618274-b09f-40ae-a255-ef3ce202ec5f.7d05d0f3cd7155f24582bc226373df4f.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$29.54
Science Experiment Set ABS Electricity Magnetism Learning Kit Matching Textbook For Experiment For Teaching
walmart.com![Journal des économistes revue mensuelle de la science économique et de la statistique... Volume ser.1 v.14 yr.1846 1846 [LEATHER BOUND]
Journal des économistes revue mensuelle de la science économique et de la statistique... Volume ser.1 v.14 yr.1846 1846 [LEATHER BOUND]](http://i5.walmartimages.com/asr/ad0d885b-6728-4d49-adc3-bbac3ce977c2.fe55580cdf935acbd7df4d9206b26163.jpeg?odnHeight=450&odnWidth=450&odnBg=ffffff)
1%
$53.23
Journal des économistes revue mensuelle de la science économique et de la statistique... Volume ser.1 v.14 yr.1846 1846 [LEATHER BOUND]
walmart.com![VEVOR Scatola per Stoccaggio da Esterno in PE Impermeabile con Coperchio Manici Laterali Volume da 660L, Contenitore Porta Attrezzi da Giardino con Coperchio Inclinata Capienza 660L, Baule da Giardino
VEVOR Scatola per Stoccaggio da Esterno in PE Impermeabile con Coperchio Manici Laterali Volume da 660L, Contenitore Porta Attrezzi da Giardino con Coperchio Inclinata Capienza 660L, Baule da Giardino](http://image.vevor.com/it%2FJYXBXSHWCW150VJ5UV0%2Fgoods_img-v7%2Foutdoor-storage-box-m100-1.2.jpg?timestamp=1661935882000)
-3%
1%
~ $61.50
VEVOR Scatola per Stoccaggio da Esterno in PE Impermeabile con Coperchio Manici Laterali Volume da 660L, Contenitore Porta Attrezzi da Giardino con Coperchio Inclinata Capienza 660L, Baule da Giardino
vevor.com![VEVOR Human Brain Model Anatomy, 2X Life-Size 4-Part Human Brain Anatomical Model with Labels & Display Base, Color-Coded Detachable Brain Model for Science Research Teaching Learning Study Display
VEVOR Human Brain Model Anatomy, 2X Life-Size 4-Part Human Brain Anatomical Model with Labels & Display Base, Color-Coded Detachable Brain Model for Science Research Teaching Learning Study Display](http://image.vevor.com/us%2FGGJRQGMX1JTRUVBUOV0%2Fgoods_img-v1%2Fanatomy-model-m100-1.2.jpg?timestamp=1709547805000)
-11%
1%
$66.70
VEVOR Human Brain Model Anatomy, 2X Life-Size 4-Part Human Brain Anatomical Model with Labels & Display Base, Color-Coded Detachable Brain Model for Science Research Teaching Learning Study Display
vevor.com![Женское нижнее белье Goth с вырезами, чулки, портупея, эластичный розовый пояс с подвязками, укороченный топ, бандажный комплект с бюстгальтером в клетку
Женское нижнее белье Goth с вырезами, чулки, портупея, эластичный розовый пояс с подвязками, укороченный топ, бандажный комплект с бюстгальтером в клетку](http://ae04.alicdn.com/kf/See1faf9a13404ddcad3737f52eed9b69m.jpg)
1%
$25.47
Женское нижнее белье Goth с вырезами, чулки, портупея, эластичный розовый пояс с подвязками, укороченный топ, бандажный комплект с бюстгальтером в клетку
aliexpress.ru![new fashion charm original thread snake bone bracelet adjustable for men and women pandora basic, Golden;silver
new fashion charm original thread snake bone bracelet adjustable for men and women pandora basic, Golden;silver](http://www.dhresource.com/600x600/f2/albu/g17/M01/CC/E7/rBVa4mHxWeeAb6lPAACtIUrjENc021.jpg)
1%
~ $27.70
new fashion charm original thread snake bone bracelet adjustable for men and women pandora basic, Golden;silver
dhgate.com