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...
Becoming
Michelle Obama Hardcover  (6)
R776 R695 Discovery Miles 6 950
Pathfinder Company - 44 Parachute…
Graham Gillmore Paperback R199 R184 Discovery Miles 1 840
Radicals in Power - The New Left…
Eric Leif Davin Hardcover R3,158 Discovery Miles 31 580
Mountains Of Spirit - The Story Of The…
Freddy Khunou Paperback  (1)
R340 R314 Discovery Miles 3 140
Looking for the Good War - American…
Elizabeth D. Samet Paperback R500 R469 Discovery Miles 4 690
Renegades - Born In The USA
Barack Obama, Bruce Springsteen Hardcover  (1)
R979 R889 Discovery Miles 8 890
Rethinking American Grand Strategy
Elizabeth Borgwardt, Christopher McKnight Nichols, … Hardcover R2,612 Discovery Miles 26 120
Little Bird Of Auschwitz - How My Mother…
Alina Peretti, Jacques Peretti Paperback R462 R421 Discovery Miles 4 210
Myths of the Cold War - Amending…
Albert L. Weeks Hardcover R2,575 Discovery Miles 25 750
The Death Of Democracy - Hitler's Rise…
Benjamin Carter Hett Paperback  (1)
R333 R302 Discovery Miles 3 020

 

Partners