Structured Object-Oriented Formal Language and Method
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
6 310,00 JPY
Typical price2 127,67 PLN
Lowest (90 days)46,00 PLN
Offers1
Last updated1 zi în urmă
| Vânzător | Product price | Delivery | Total | Disponibilitate | Updated | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 6 291,00 JPY | 19,00 JPY | 6 310,00 JPY | Disponibil | 1 zi în urmă | View offer |
Prețurile și disponibilitatea se pot modifica. Ultima actualizare: 08.08.2026 23:09.
EAN
9783031294761
Springer Nature
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
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. .
Similar products
Gamma Knife Neurosurgery in the Management of Intracranial Disorders
from $210.78
SDGs in Construction Economics and Organization
from $210.78
Emerging Therapies in Neurorehabilitation III
from $210.78
Ground Improvement Techniques
from $220.36
Anomaly Detection in Video Surveillance
from $220.36
Mechanism and Machine Science
from $287.42
Protein-Protein Interactions as New Drug Targets
from $287.42
Proceedings of the 7th International Conference of Transportation Research Group of India (CTRG 2023
from $287.42