Formal Methods for Software Engineering: Languages, Methods, Application Domains
Description
Formal Methods for Software Engineering: Languages, Methods, Application Domains By Roggenbach, Markus Published by Springer Publication Date: 2023-06-24 Subject: Computers Business & Productivity Software General, Computers Computer Science, Computers Software Development & Engineering General, Computers Business & Productivity Software - General, Computers Computer Science, Computers Data Science - General, Computers Programming - General, Computers Software Development & Engineering - General, Mathematics Algebra General, Mathematics Applied, Mathematics Algebra - General, Mathematics Applied, Technology & Engineering Engineering (General), Technology & Engineering Engineering (General), Information Technology: General Issues, Software Engineering, Computers Computer Science, Computers, Computer Science Subject Keywords: Formal Methods; Logic; Software Engineering; Process Algebras; CSP; Algebraic Specification; CASL; Verification Genre: Computers, Computer Science Target Audience: A Read for the Modern Generation
Price history chart & currency exchange rate
Customers also viewed
$60.83
Набор из 18-каратного золота с платиновыми серьгами с сахарной башней PT950, кольцо, полный бриллиантового ожерелья, основной камень 12*12
aliexpress.ru
$8.34
Аксессуары для одежды, хлопковая оранжевая бейсболка, фуражка, солнцезащитный крем, шляпа с вышитыми буквами, модная крутая креативная оранжевая кепка для девочек
aliexpress.ru
$0.78
Halloween Series Wind-up Toy Jumping Pumpkin Halloween Clockwork Toys Witch Pirate Head Prank Toys Halloween Ornament
aliexpress.com
$75.43
elegant brand baily sandals bridal bing dress shoes glitter leather pumps women pearls strap high heels pointed toe party wedding sandalias, Black
dhgate.com
$15.30
New Tire Pressure Sensor 52933-C1100 52933C1100 Automatic Registered For Hyundai ix25 Creta 2016 2017 2018 2019 2020
aliexpress.com
$39.53
qweek ladies pyjamas sleepwear women pajamas sets velvet pijamas mujer winter pajamas for women 2019 home wear set drop y22768305, Black;red
dhgate.com
$23.62
men's tracksuits arrival men's cotton and linen short sleeve t-shirtshorts 2pc set solid shirtshorts home suits male -5xl 7006 23, Gray
dhgate.com
$165.54
new men women sneakers shoes white black calfskin leather sports technical couple low- casual walking size 35-46 original xsd221115
dhgate.com
$24.93
women039s sleepwear plus size 4xl summer women v neck ice silk lingerie nightwear homewear nightdress female oversize nigh1765198, Black;red
dhgate.com
$178.69
wholesale 2022 men women designer casual shoes unicorn fashion outdoor sport shoes space cotton metaverse sneakers trainers runner shoe 35-4
dhgate.com
$162.86
indian raw virgin hair six by six lace closures with baby hairs 6x6 closure natural color body wave extensions closure yirubea3852650, Black;brown
dhgate.com
$1.87
yqtdmy 12pcs man jewelry talisman imitation tiki totem tribal hawaiian surfer choker necklace gift9171698, Silver
dhgate.com
$11.85
ins baby girls floral backless sling dress children flower print princess dresses 2019 summer fashion boutique kids clothing c57526566545, Red;yellow
dhgate.com
$65.92
Casual Dresses Deep V High Waist 2022 Vintage Long Sleeve Summer Dress For Women Oversize Covers Luxury Diamonds Vestidos Robe, Orange
dhgate.com
$4.84
2pcs/pack Fashion Natural Semi-precious Stone Pendants Oval Shape Colorful Stone DIY for Making Necklace Accessions 32x50mm Size
aliexpress.com
$1.67
Funny skeleton grim reaper For Samsung Note 20 Ultra 10 Pro Plus 8 9 M02 M31 S M60S M40 M30 M21 M20 M10 S M62 M12 F52 Phone Case
aliexpress.com
$14.06
Мужская футболка и шорты, спортивный костюм с коротким рукавом и 3D-принтом, лето 2021
aliexpress.ru
$18.47
For Xiaomi Roborock S7 S70 S75 S7Max S7MaxV T7S Plus Main Side Brush Mops Cloths HEPA Filter Accessories
aliexpress.com
$69.90
Замена дугового чипа картриджа einkshop 952xl для HP 952xl Officejet Pro 7740 8710 8715 8720 8730 8740 8210 8216
aliexpress.ru
$0.59
1M Bike Protective Film Bicycle Frame Tape Protection Stickers Wear Clear Transparent Surface Prote Waterproof Cycling Part
aliexpress.com
$0.60
Плата усилителя мощности LM386, 200 увеличение времени Плата усилителя звука, моно модуль усилителя мощности звука модуль усилителя мощности, м...
aliexpress.ru
$10.20
Новый многоцветный творческий Монтессори Скорость Cube 3D интеллектуальный Cube Головоломка Строительные блоки Обучающая
banggood.com
$12.27
litthing малый крокодил pattern кожа pu твердая crossbody сумки для женщин лето леди плеча сумки женские простые totes
dhgate.com
$31.09
gz6v2 лето 2020 новый корейский стиль свободный большой размер литературной и художественной sling slingyoung кожей мыть denim suspender шта, Blue
dhgate.com
$25.03
1pc high absorbent towels embroidery lavender towel cotton face towels bath towel for adults washcloths
dhgate.com
$270.55
Red Pipe Cutting Machine Range 76-219 Stainless Steel Pipe Fire Pipe Electric Cold Cutting Machine High Efficiency Cutting Tool
aliexpress.com
$47.59
The bronze crafts antique brass copper faucet jug kettle decorative gift collection
aliexpress.com
$21.25
Auto Engine Timing Tool Kit 1.2 16V Twin Cam Petrol Engine For Fiat Punto Brava Bravo PT1069
aliexpress.com
$8.40
Mobile Universal Infrared Transmitter Android Mobile Phone Learning Otg Smart Remote Control Tv Air Conditioning Fan
aliexpress.com
$8.00
Plush Doll Bag 2019 New Style WOMEN'S Bag Cartoon Korean-style Cute Bunny Plush Shoulder Bag Versatile
aliexpress.com
$9.96
Adjustable Baby Earmuffs Hearing Protection Ear Defenders Noise Reduction For 3 Months-5 Years Old Child Baby #8
aliexpress.com
$75.89
Classmates children s sports shoes autumn and winter velvet cotton shoes buttons youth running shoes medium older boys and girls shoes 28
joom.ru
$18.03
Женская синяя джинсовая кружевная короткая юбка Y2K, корейская Harajuku 2000-х годов, эстетичная уличная одежда, мини-юбка трапециевидной формы с высокой талией, новая одежда
aliexpress.ru
![Оригинальный маркер-клипса овального розового цвета [коллекция Mercedes-Benz] розовый](http://img.joomcdn.net/42890edee9850d310e8283d0bb20dd226fb5f0e2_original.jpeg "Оригинальный маркер-клипса овального розового цвета [коллекция Mercedes-Benz] розовый")
