0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018,... Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings (Paperback, 1st ed. 2018)
Tiago Massoni, Mohammad Reza Mousavi
R1,767 Discovery Miles 17 670 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018. The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Oxford Handbook of Philosophy of…
Mohan Matthen Hardcover R4,831 Discovery Miles 48 310
Inspirations From The Land Down Under…
Carolyn Bay Hardcover R955 R861 Discovery Miles 8 610
Pathways to Alternative Epistemologies…
Adeshina Afolayan, Olajumoke Yacob-Haliso, … Hardcover R3,612 Discovery Miles 36 120
A Monograph of the British Naked-Eyed…
Edward Forbes Paperback R443 Discovery Miles 4 430
Co-Occurring Disorders - A Whole-Person…
Charles Atkins Paperback R908 R797 Discovery Miles 7 970
BTS - The Ultimate Fan Book - Experience…
Malcolm Croft Hardcover R446 R305 Discovery Miles 3 050
Collected Works of Charles Berg - 8…
Charles Berg Hardcover R24,517 Discovery Miles 245 170
Hell Is Round the Corner - The Unique…
Tricky Paperback R388 Discovery Miles 3 880
Population Health, Volume 48-4
Devdutta Sangvai, Anthony J. Viera Hardcover R1,866 Discovery Miles 18 660
The Logic of Reason, Universal and…
Laurens Perseus Hickok Paperback R487 Discovery Miles 4 870

 

Partners