Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.

Bestandsnummer des Verk�ufers 52998626-20

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Formal Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings

Verlag

Springer International Publishing AG

Erscheinungsjahr

2018

Sprache

Englisch

ISBN-10

3030030431

ISBN-13

9783030030438

Einband

Softcover

Zustand

Very Good

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

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.

Von der hinteren Coverseite

Chapter TeSSLa: Temporal Stream-Based Specification Language is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Better World Books is the world?s leading socially conscious online bookseller and has sold over 100 million books. Each sale generates funds for global literacy. We offer low prices, fast shipping, and have a 100% money back guarantee.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Better World Books Ltd
Better World Books, Third Floor, One London Square, Cross Lanes, Guildford, GU1 1UN, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Better World Books (BWB) values your satisfaction and offers you returns within thirty (30) days after the estimated delivery date on most items. All returned items must be in the original condition; used items should include the SKU sticker located on the spine or back of the product.

If you have an incomplete, incorrect, or damaged shipment, please contact our Customer Care team via Abebooks contact seller options before proceeding with the return.Please keep in mind that because we deal mostl...

Mehr Information

Widerrufsbelehrung

Versandbedingungen

Please allow 1-2 business days for order fulfillment.

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	11 bis 28�Werktage	11 bis 28�Werktage
Erster Artikel	EUR 9.25	EUR 9.25

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.