Symbolic Execution and Quantitative Reasoning
Technical Details
abonement: | false |
age: | 0 |
author: | Corina S. Păsăreanu |
genres_list: | 5270 |
ISBN: | 9781681738550 |
lang: | en |
publisher: | Ingram |
series: | Synthesis Lectures on Software Engineering |
Type: | book |
Форматы: |
Price history chart & currency exchange rate
Customers also viewed
![Symbolic Tarot of Wirth | Card with Paper Guide Book | Standard Big Size 12x7cm | 78 Sheets Tarot Cards and Guidebook
Symbolic Tarot of Wirth | Card with Paper Guide Book | Standard Big Size 12x7cm | 78 Sheets Tarot Cards and Guidebook](http://ae01.alicdn.com/kf/Sde2448b152b441caa3801ddd76404170v.jpg)
+1%
14%
~ 775.00 руб.
Symbolic Tarot of Wirth | Card with Paper Guide Book | Standard Big Size 12x7cm | 78 Sheets Tarot Cards and Guidebook
aliexpress.com![Xk3101-K Control Instrument Quantitative Packaging Scale 3101n Display
Xk3101-K Control Instrument Quantitative Packaging Scale 3101n Display](http://ae01.alicdn.com/kf/Sfa1cf5971d8145f89f7a1ea3ad9a3243j.jpg)
+1%
13%
~ 4,900.00 руб.
Xk3101-K Control Instrument Quantitative Packaging Scale 3101n Display
aliexpress.com![bellows dosing quantitative supply 220V DZ-2XU2 chemical metering pump
bellows dosing quantitative supply 220V DZ-2XU2 chemical metering pump](http://ae01.alicdn.com/kf/S3c33eac9af8540a1882dd8684d182ecek.jpg)
12%
~ 2,440.00 руб.
bellows dosing quantitative supply 220V DZ-2XU2 chemical metering pump
aliexpress.com![Pattern Puzzle, Montessori Tangram Puzzle Creative Logic Game, Reasoning Skills Innovation Toys
Pattern Puzzle, Montessori Tangram Puzzle Creative Logic Game, Reasoning Skills Innovation Toys](http://ae01.alicdn.com/kf/S2cf19f9cb4754d00bf5408e4240b18e4A.png)
9%
~ 680.00 руб.
Pattern Puzzle, Montessori Tangram Puzzle Creative Logic Game, Reasoning Skills Innovation Toys
aliexpress.com![Original Detective Conan Card For Children Classic Reasoning Truth Anime Kudou Shinichi Limited Game Collection Card Kids Gifts
Original Detective Conan Card For Children Classic Reasoning Truth Anime Kudou Shinichi Limited Game Collection Card Kids Gifts](http://ae01.alicdn.com/kf/S192356d192a94db28224f66038971c2fq.jpg)
+1%
8%
~ 1,900.00 руб.
Original Detective Conan Card For Children Classic Reasoning Truth Anime Kudou Shinichi Limited Game Collection Card Kids Gifts
aliexpress.com![RMG88.62C2 RMO88.53C2 контроллер программы горелки для RIELLO FS/RS gasbrner RBL контроллер
RMG88.62C2 RMO88.53C2 контроллер программы горелки для RIELLO FS/RS gasbrner RBL контроллер](http://ae01.alicdn.com/kf/S112666a3cf9a4d9f9436c35945ab4db8L.jpg)
6%
~ 1,770.00 руб.
RMG88.62C2 RMO88.53C2 контроллер программы горелки для RIELLO FS/RS gasbrner RBL контроллер
aliexpress.com![Guess who I am board game toy game children's parent-child friend interaction game card head with logical reasoning puzzle toy
Guess who I am board game toy game children's parent-child friend interaction game card head with logical reasoning puzzle toy](http://ae01.alicdn.com/kf/S27365ee3f2e147c393a74a0bb976cd1fa.jpg)
+1%
4%
~ 1,370.00 руб.
Guess who I am board game toy game children's parent-child friend interaction game card head with logical reasoning puzzle toy
aliexpress.com![25Pcs Transfer Pipettes 40ul Lab Supplies Self-priming quantitative micro blood collection straw disposable dropper
25Pcs Transfer Pipettes 40ul Lab Supplies Self-priming quantitative micro blood collection straw disposable dropper](http://ae01.alicdn.com/kf/S3f60f2b62c8e49cd8111ef0416c2d116u.jpg)
+1%
3%
~ 735.00 руб.
25Pcs Transfer Pipettes 40ul Lab Supplies Self-priming quantitative micro blood collection straw disposable dropper
aliexpress.com![Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards 10.3*6cm
Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards 10.3*6cm](http://ae01.alicdn.com/kf/Sfa32e89088b64cbc817e6a6951c71e79P.jpg)
+1%
1%
~ 665.00 руб.
Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards 10.3*6cm
aliexpress.com![Little Frog Detective Conan Card Collection Famous Reasoning Anime Kudou Shinichi Hattori Heiji Experience Version Card Kid Gift
Little Frog Detective Conan Card Collection Famous Reasoning Anime Kudou Shinichi Hattori Heiji Experience Version Card Kid Gift](http://ae01.alicdn.com/kf/S054371742eb14b0b9b27d97898f8be968.jpg)
+1%
1%
~ 1,590.00 руб.
Little Frog Detective Conan Card Collection Famous Reasoning Anime Kudou Shinichi Hattori Heiji Experience Version Card Kid Gift
aliexpress.com-10%
1%
~ 1,140.00 руб.
Warhammer 40,000: Chaos Gate - Daemonhunters: Execution Force (PC) - Steam Key - GLOBAL
g2a.com![220V Acid Dosing Pump Electric Diaphragm Meterinng Pump Automatic Electromagnetic Micro Dosing Equipment Quantitative Pump
220V Acid Dosing Pump Electric Diaphragm Meterinng Pump Automatic Electromagnetic Micro Dosing Equipment Quantitative Pump](http://ae01.alicdn.com/kf/S916a0217ecdc46f1bcaa8ebddee4e6c7O.jpg)
1%
~ 4,400.00 руб.
220V Acid Dosing Pump Electric Diaphragm Meterinng Pump Automatic Electromagnetic Micro Dosing Equipment Quantitative Pump
aliexpress.com![Automatic Weighing and Quantitative Controller Liquid Particle Paste Quantitative Scale Instrument
Automatic Weighing and Quantitative Controller Liquid Particle Paste Quantitative Scale Instrument](http://ae01.alicdn.com/kf/S2d5347d818a04148a7431f78a48e9a29v.jpg)
+1%
1%
~ 4,880.00 руб.
Automatic Weighing and Quantitative Controller Liquid Particle Paste Quantitative Scale Instrument
aliexpress.com![Genuine Detective Conan Collection Cards Japanese Reasoning Anime Kudou Shinichi Mouri Ran Rare Experience Card Kids Gifts Toys
Genuine Detective Conan Collection Cards Japanese Reasoning Anime Kudou Shinichi Mouri Ran Rare Experience Card Kids Gifts Toys](http://ae01.alicdn.com/kf/S09a4272c959a499a8b390b2c9cb5e85aN.jpg)
+1%
1%
~ 1,620.00 руб.
Genuine Detective Conan Collection Cards Japanese Reasoning Anime Kudou Shinichi Mouri Ran Rare Experience Card Kids Gifts Toys
aliexpress.com![Water Pump Automatic USB Rechargeable Water Bottled Pump Folding Intelligent Quantitative Water Dispenser Pump Bottled Foy Home
Water Pump Automatic USB Rechargeable Water Bottled Pump Folding Intelligent Quantitative Water Dispenser Pump Bottled Foy Home](http://ae01.alicdn.com/kf/S1736cf332380426a96929ccde008288al.jpg)
1%
~ 1,920.00 руб.
Water Pump Automatic USB Rechargeable Water Bottled Pump Folding Intelligent Quantitative Water Dispenser Pump Bottled Foy Home
aliexpress.com![Original Link Click Card For Children Suspenseful Reasoning Charles Lucas Jo SE Cat Eye Limited Game Collection Card Table Toys
Original Link Click Card For Children Suspenseful Reasoning Charles Lucas Jo SE Cat Eye Limited Game Collection Card Table Toys](http://ae01.alicdn.com/kf/S9efc178506ba43e9bf55cc258d8e2f50l.jpg)
+1%
1%
~ 1,810.00 руб.
Original Link Click Card For Children Suspenseful Reasoning Charles Lucas Jo SE Cat Eye Limited Game Collection Card Table Toys
aliexpress.com![25Pcs Transfer Pipettes Self-priming quantitative micro blood collection straw disposable dropper 40ul Lab Supplies
25Pcs Transfer Pipettes Self-priming quantitative micro blood collection straw disposable dropper 40ul Lab Supplies](http://ae01.alicdn.com/kf/S6ca7daf516a940588257404d1a5f46a7Z.jpg)
+1%
1%
~ 830.00 руб.
25Pcs Transfer Pipettes Self-priming quantitative micro blood collection straw disposable dropper 40ul Lab Supplies
aliexpress.com![6-12 years old whole brain development series logic reasoning game book color version from simple to difficult ladder training
6-12 years old whole brain development series logic reasoning game book color version from simple to difficult ladder training](http://ae01.alicdn.com/kf/S87d6c0feb6534183ba9be1a64c86a04fe.jpg)
+1%
1%
~ 1,370.00 руб.
6-12 years old whole brain development series logic reasoning game book color version from simple to difficult ladder training
aliexpress.com![Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument
Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument](http://ae01.alicdn.com/kf/S5d552d540d4c477a9a1f5d55fbb9c95cJ.jpg)
+1%
1%
~ 5,020.00 руб.
Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument
aliexpress.com![Детская балетная юбка, танцевальная юбка для девочек, детские программы, коллективные костюмы для выступлений, танцевальные костюмы для представлений
Детская балетная юбка, танцевальная юбка для девочек, детские программы, коллективные костюмы для выступлений, танцевальные костюмы для представлений](http://ae01.alicdn.com/kf/S746dd22ce566476095950f3e8d783122N.png)
1%
~ 1,150.00 руб.
Детская балетная юбка, танцевальная юбка для девочек, детские программы, коллективные костюмы для выступлений, танцевальные костюмы для представлений
aliexpress.com![Touch Screen Bucket Water Pump, Automatic Water Dispenser, Electric Folding Water Pump, Quantitative Water Outlet Durable White
Touch Screen Bucket Water Pump, Automatic Water Dispenser, Electric Folding Water Pump, Quantitative Water Outlet Durable White](http://ae01.alicdn.com/kf/Sf12816249da340248b25c233abcd5c6bJ.jpg)
1%
~ 1,100.00 руб.
Touch Screen Bucket Water Pump, Automatic Water Dispenser, Electric Folding Water Pump, Quantitative Water Outlet Durable White
aliexpress.com![1~10PCS Soft Shoe Brush Don't Hurt Shoes Clean Double-sided Shoe Brush Household Quantitative Liquid Output Travel Shoe Brush
1~10PCS Soft Shoe Brush Don't Hurt Shoes Clean Double-sided Shoe Brush Household Quantitative Liquid Output Travel Shoe Brush](http://ae01.alicdn.com/kf/Sa081fddbd8df4a00ae17835b1add41389.jpg)
1%
~ 2,320.00 руб.
1~10PCS Soft Shoe Brush Don't Hurt Shoes Clean Double-sided Shoe Brush Household Quantitative Liquid Output Travel Shoe Brush
aliexpress.com![The Full Set of The Original Edition of The New Mystery Case Group, A Series of Thrillers, Suspense, Reasoning and Horror Novels
The Full Set of The Original Edition of The New Mystery Case Group, A Series of Thrillers, Suspense, Reasoning and Horror Novels](http://ae01.alicdn.com/kf/Scba06476dd9443d1a10d4d8be9934e87x.jpg)
+1%
1%
~ 1,270.00 руб.
The Full Set of The Original Edition of The New Mystery Case Group, A Series of Thrillers, Suspense, Reasoning and Horror Novels
aliexpress.com![Dough Quantitative Artifact Hand-Pressed Stuffing Machine Mooncake Filling Dispenser for Baking Lover Peach Crisp Divider
Dough Quantitative Artifact Hand-Pressed Stuffing Machine Mooncake Filling Dispenser for Baking Lover Peach Crisp Divider](http://ae01.alicdn.com/kf/S567a94ad03784b19bc7295bf0f6e9bd7r.jpg)
1%
~ 2,230.00 руб.
Dough Quantitative Artifact Hand-Pressed Stuffing Machine Mooncake Filling Dispenser for Baking Lover Peach Crisp Divider
aliexpress.com![Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument
Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument](http://ae01.alicdn.com/kf/S74e2dd73c34a4d2981a67a092bb36e03x.jpg)
+1%
1%
~ 5,130.00 руб.
Automatic Weighing Quantitative Controller Liquid Particle Paste Quantitative Scale 2-way Charging Filling Machine Instrument
aliexpress.com![10.3*6cm Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards
10.3*6cm Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards](http://ae01.alicdn.com/kf/S60e51325fe774497994f06ac16905f32L.jpg)
+1%
1%
~ 575.00 руб.
10.3*6cm Symbolic Soul Tarot with Guidebook for Beginners Black Gilded Edges 78 Pcs Cards
aliexpress.com![Голубое оранжевое платье-пачка с мультяшным рисунком для девочек, детские программы на английском языке, костюм для косплея Blipp, детский комплект одежды для Хэллоуина и карнавала
Голубое оранжевое платье-пачка с мультяшным рисунком для девочек, детские программы на английском языке, костюм для косплея Blipp, детский комплект одежды для Хэллоуина и карнавала](http://ae01.alicdn.com/kf/S208807e04a7e4ed4baa4b337f599dd2fg.jpg)
1%
~ 1,670.00 руб.
Голубое оранжевое платье-пачка с мультяшным рисунком для девочек, детские программы на английском языке, костюм для косплея Blipp, детский комплект одежды для Хэллоуина и карнавала
aliexpress.com