Code: 43050027

Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer, Berlin
SKU: 43050027
Price: 56.67 EUR
Availability: InStock
Author: Shaoying Liu
ISBN: 9783031294754

by Shaoying Liu, Zhenhua Duan, Ai Liu

Language: English
Binding: Paperback
Number of pages: 160
Publisher: Springer, Berlin, 2023
More about this

56.67 €

RRP: 61.42 €

You save 4.76 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

LEGO Harry Potter Pojedynek z dementorem
5.14 € -9 %
Buy
Distorted World of Soviet-Type Economies (Routledge Revivals)
63.84 €
Buy
8 Things You Must Know To Start And Run A Successful Business
16.56 € -6 %
Buy
Over to You, Mr Brown
19.59 € -4 %
Buy
Organized Labor and American Politics, 1894-1994
39.29 €
Buy
Social and Human Elements of Information Security
205.89 €
Buy
Return of England in English Literature
55.76 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Structured Object-Oriented Formal Language and Method

Book details
Synopsis
Trending among others

You get 137 loyalty points

Book synopsis

This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

56.67 €

Full title: Structured Object-Oriented Formal Language and Method
Subtitle: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Author: Shaoying Liu, Zhenhua Duan, Ai Liu
Language: English
Binding: Paperback
Number of pages: 160
EAN: 9783031294754
ID: 43050027
Publisher: Springer, Berlin
Weight: 240 g
Dimensions: 235 × 155 mm
Date of publishing: 06. May 2023