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
$3.59
Uxcell 6pcs #8-32 Wing Nuts 304 Stainless Steel Shutters Butterfly Nut Fastener Tool for Fixing Plates Quick Clamps
aliexpress.com
$0.54
SMARLAN Portable Stainless Steel Wire Saw Universal Emergency Hand Chain Saw Cutter Hunting Camping Hiking Travel Survival Tool
aliexpress.com
$1.58
Женская заколка для волос, корейский зажим для волос в форме сердца из уксусной кислоты, шахматная заколка с бриллиантами, аксессуары для во...
aliexpress.ru
$7.22
Модная миниатюрная маленькая сумка-мессенджер на цепочке для девушек, Роскошный дизайнерский милый саквояж через плечо, Брендовая женская сумка с надписью J
aliexpress.ru
$10.84
Женская плиссированная юбка с высокой талией Y2k, летняя повседневная Милая трапециевидная клетчатая черная теннисная японская школьная форма, мини-юбки для девочек
aliexpress.ru
$10.73
Многофункциональная сумка для подгузников, портативная вместительная сумка для мамы и ребенка, удобная модная сумка на одно плечо
aliexpress.ru
$11.33
Разделенные подносы, тарелки, Меламиновый контейнер для еды, регулируемая обеденная тарелка, круглая тарелка для кормления, Детская закуска, обед
aliexpress.ru
$17.70
Женское пальто на пуговицах, однотонное свободное тонкое пальто с отложным воротником и коротким рукавом, в Корейском стиле, весна 2023
aliexpress.ru
$19.27
Large Capacity Rucksack Man Travel Bag Mountaineering Backpack Male Luggage Canvas Bucket Shoulder Bags Men outdoor Backpack
aliexpress.com
$21.50
CB599 Motorcycle License Plate Bracket Licence Plate Holder For Honda CBR 600 F2 F3 F4 F4i CB599 CBR600RR CBR1000RR all years
aliexpress.com
$3.49
Portable Rain Cover for Backpacks Waterproof Camping Hiking Climbing Outdoor Dustproof 20-70LBackpack Cover Mouth Print Pattern
aliexpress.com
$38.51
3 Modes Curing Lamp Dental LED 5W Curing Light Wireless Cure Lamp Strong 2200Mah Battery 1500mW
aliexpress.com
$15.16
1pair CNC Aluminum For YAMAHA XSR700 XSR 700 Motocycle Accessories HandBar Ends Hand Bar Ends Motorbike handbar ends xsr700 2016
aliexpress.com
$59.00
750ml Cocktail Shaker Making Set mixology Bartender Kit with Bamboo Stand Drink Mixer Home Tool Bar Accessories
aliexpress.com
$3.39
450ml Cute Daisy Water Bottles Transparent Frosted Bottle BPA Free Outdoor Sports Water Cup Student Portable Mug with Rope
aliexpress.com
$59.90
For Lenovo X250 Laptop motherboard 00HT379 VIUX1 NM-A091 SR23Y I5-5200U mainboard test 100%
aliexpress.com
$11.22
Белье для коррекции талии, утягивающие штаны, женская корректирующая одежда, Утягивающее нижнее белье для талии и живота, утягивающее белье...
aliexpress.ru
$9.99
10000W Outdoor Solar Lamp Solar Street Lights 3 Light Mode Waterproof Motion Sensor Security Lighting for Garden Patio Path Yard
aliexpress.com
$388.32
wholesale- bside eet500 gas analyzers 3-in1 co2 meter gas analyzer detector 0~9999ppm co2 analyzers with temperature and humidity tester
dhgate.com
$9.56
10 комплектов взаимозаменяемых застежек, застежка для браслета с защелкой для кожаного шнура 5,0 мм
aliexpress.ru
$6.10
Алмазная вышивка павлин Сказочный пейзаж 5D Diy алмазная живопись наборы для вышивки крестом квадратные Стразы мозаика рукоделие
aliexpress.ru
$1.56
New Key Chain Kpop Bangtan Boys Keychain Key Chain K-pop Bangtan Supplies Baby Cartoon Key Chain
aliexpress.com
$5.35
Romantic Be Happy Mirror Sticker Wall Sticker Home Decoration Accessories Decor Living Room Bedroom Removable Vinyl Decals
aliexpress.ru
$6.44
3 шт./компл. сумка из ПУ-кожи ручной работы, сумка «сделай сам», нижняя сумка-ведро, сумка на шнурке, наплечный ремень, набор из трех предметов, ...
aliexpress.ru
$511.41
electric massagers professional shockwave therapy machine physiotherapy wave for ed treatment pain relief,shockwave massager
dhgate.com
$9.49
Motorhome Screen Door Latch Hardware Screen Door Open Close Handle for Trailer Universal RV Screen Door Latch D7YA
aliexpress.com
$20.00
Xiaomi Wireless Headset Bluetooth Earphones and Headphone for Girls SD Card with Mic HIFI Stereo IOS Android in Phone
aliexpress.com
$11.29
Christmas Wreath Artificial Plant Rattan Circle Wall Decoration Simulation Fake Flower Door Hanging Wreath For Home
aliexpress.com
$1,664.04
Twitterbike Обесцвечивающий цвет R10 RS-22Speed полностью скрытый внутренний кабель, полностью углеродный карбоновые велосипедные колеса гидравличес...
aliexpress.ru
$177.65
Искусственные кристаллы, украшение на шею, искусственная Кружевная аппликация, иллюзия, Сделано на заказ, милая Праздничная принцесса 16
aliexpress.ru
$3.64
2 рулонах мягкие внедорожная лента для руля велосипеда велосипедная рукоятка лента с бар Вилки для Touring езда на велосипеде и шоссейных гонок
aliexpress.ru
$9.78
Женские ботильоны, сезон осень-зима 2021, модные ботинки из искусственной замши на высоком каблуке, черные классические ботинки с острым носк...
aliexpress.ru
$21.89
60/70-6,5 резиновая сотовая Нескользящая шина для электрического скутера Ninebot Max G30
aliexpress.ru
$47.66
Кружевное платье nv chun zhuang новый стиль Дебютант элегантный воротник-стойка приталенный Модный Цвет Контраст средней длины юбка Jum
aliexpress.ru
$16.77
repair tools & kits tool carbon steel watch back case cover opener remover watchmaker pry knife kit edge
dhgate.com
$18.17
Перезаряжаемые электрические нагревательные носки Длинные трубки толстые теплые ножки хлопковые электрические нагревательные носки для ...
aliexpress.ru
$27.69
autumn sport jogging pants women 2020 outdoor gym running sportswear loose training pants drawstring calf sweatpants side open, Black;blue
dhgate.com
$43.84
korean style new all-match portable big bag autumn and winter women's shoulder bag woolen plaid motorcycle simple wind
dhgate.com
$15.43
12 Colors Matte Lip Gloss Liquid Lipstick Long Lasting Makeup Moisturizer Lipgloss Batom Make Up Waterproof Pigment Lip Tint
aliexpress.com
$11.59
3D Helmet Night Light 3D Led Illusion Lamp 37 Colors Changing Lights Bedside Table Desk Lamp with Touching Control for Kids Gifts
joybuy.com
$14.23
NEMA14 36mm Round Pancake Motor Class H Temperature Resistance Dual Drive Extruder Step Motor For Voron 0.1 0.2 3D Printer
aliexpress.com
