Kategorie główne

• Nauka

[2952079]

• Literatura piękna

[1850969]

więcej...

Kategorie szczegółowe BISAC

Structured Object-Oriented Formal Language and Method: 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Revised Selected P

Name: Structured Object-Oriented Formal Language and Method: 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Revised Selected P
Brand: Springer
Price: 201.24 PLN
Availability: InStock

ISBN-13: 9783319901039 / Angielski / Miękka / 2018 / 219 str.

Cong Tian; Fumiko Nagoya; Shaoying Liu

Structured Object-Oriented Formal Language and Method: 7th International Workshop, Sofl+msvl 2017, Xi'an, China, November 16, 2017, Revised Selected P

ISBN-13: 9783319901039 / Angielski / Miękka / 2018 / 219 str.

Cong Tian; Fumiko Nagoya; Shaoying Liu

cena 201,24
(netto: 191,66 VAT: 5%)

Najniższa cena z 30 dni: 192,74

Termin realizacji zamówienia:
ok. 22 dni roboczych.

Darmowa dostawa!

This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. model checking;

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Software Development & Engineering - General
Computers > Programming - Algorithms
Computers > Artificial Intelligence - General

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783319901039