Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Verification of Simulink/Stateflow Diagrams

Name: Formal Verification of Simulink/Stateflow Diagrams
Brand: Springer International Publishing AG
SKU: 19784949
Price: 125.03 EUR
Availability: InStock
Author: NAIJUN ZHAN
ISBN: 9783319836386

A Deductive Approach

NAIJUN ZHAN

Език

Английски език

Книга С меки корици

Код Либристо: 19784949

Издателство Springer International Publishing AG, юни 2018

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/... Цялото описание

Код Либристо: 19784949

302 b

125.03 €

244.54 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Merveilles du monde Valeria Manferto De Fabianis

С меки корици

8.23 € 16.10 лв

Esquisses d'un voyage au Pérou (1838-1842) - Tome I von Tschudi

С меки корици

29.63 € 57.96 лв

MAUVAIS SANG GAILLARD

С меки корици

7.20 € 14.08 лв

LAKESHIRE PARK WALKER

С меки корици

25.96 € 50.76 лв

Убийства по алфавиту Агата Кристи

С твърди корици

21.29 € 41.64 лв

Der Entscheidungskampf zwischen W. Steinitz und J. H. Zukertort und die Meisterschaft der Welt J. Minckwitz

С твърди корици

56.63 € 110.76 лв

I Love to Tell the Truth (Norwegian English Bilingual Book for Kids) KidKiddos Books

С меки корици

16.58 € 32.42 лв

Fettgewebe - zu Unrecht ungeliebt Petra Schling

Adobe ePub DRM

7.09 € 13.87 лв

Mam prawo i nie zawaham się go użyć! Olech Joanna

С твърди корици

10.31 € 20.16 лв

Das Wartburgfest von 1817 als europäisches Ereignis Joachim Bauer

С меки корици

85.70 € 167.62 лв

Schizogorsk Walter Vogt

С меки корици

2.59 € 5.06 лв

Auto de cuantía máxima EDITORIAL SEPIN

С меки корици

32.23 € 63.03 лв

Einfach Frau sein Telse Maria Kähler

С меки корици

9.58 € 18.74 лв

Faust - der Tragoedie dritter Teil in drei Akten Friedrich Theodor Vischer

С меки корици

16.16 € 31.61 лв

Faculte de Droit de Paris. Du Benefice d'Inventaire. These Pour Le Doctorat DUBARLE-L

С меки корици

21.29 € 41.64 лв

Abdülhamid Gercegi Orhan Kologlu

С меки корици

15.95 € 31.21 лв

La adopción : exigencias subjetivas y su problemática actual María Luisa Vallés Amores

С меки корици

35.96 € 70.32 лв

Al-Andalus : sociedad e instituciones Joaquín Vallvé

С меки корици

17.56 € 34.35 лв

Oeuvres Completes de M. Le Vicomte de Chateaubriand. T. 19, Les Martyrs T1 François-René de Chateaubriand

С меки корици

27.30 € 53.40 лв

Maximen und Reflexionen Johann Wolfgang Goethe

С твърди корици

23.62 € 46.20 лв

Indirekte Speicherung elektrischer Energie mit Hilfe von Wasserstoff Julian Beck

С меки корици

23.78 € 46.51 лв

Literatury a žánry v evropské dimenzi Karel Krejčí

Лист

14.50 € 28.37 лв

Rechtsverhaltnisse von eingeborenen Voelkern in Afrika und Ozeanien Sebald Rudolf Steinmetz

С меки корици

37.82 € 73.97 лв

Milieus, Akteure, Medien Joachim Grage

С твърди корици

44.82 € 87.66 лв

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Formal Verification of Simulink/Stateflow Diagrams

Автор NAIJUN ZHAN

Език

Английски език

Корици Книга - С меки корици

Дата на издаване 2018

Брой страници 258

Баркод 9783319836386

ISBN 9783319836386

Код Либристо 19784949

Издателство Springer International Publishing AG

Тегло 4219

Размери 155 x 235 x 16

Може би ще Ви заинтересува

Cellular Automata and Discrete Complex Systems Jan Baetens

С меки корици

54.51 € 106.61 лв

introduction to the study of Dante John Addington Symonds

С меки корици

21.81 € 42.66 лв

Symphonic Bridges Marek Stefanowicz

С меки корици

23.88 € 46.71 лв

Hymns, Chants and Anthems John Hamilton Thom

С твърди корици

41.14 € 80.46 лв

Death in Venice Michael Henry Heim

С меки корици

15.80 € 30.90 лв

What the "Experts" May Not Tell You About(TM)...Buying a House or Apartment Dan Ramsey

С меки корици

17.20 € 33.64 лв

Fairy Tales From Grimm - Illustrated by Gordon Browne Grimm Brothers

С меки корици

26.06 € 50.97 лв

I Spy Fairytales Charlotte Raby

С меки корици

7.40 € 14.48 лв

Teaching and Learning in English Medium Instruction Jack C. Richards

С меки корици

61.87 € 121.00 лв

Catena of Buddhist Scriptures from the Chinese Samuel Beal

С меки корици

29.38 € 57.45 лв

Regionalism in the Post-Cold War World Stephen C. Calleya

С меки корици

56.11 € 109.75 лв

Contemporary Jewellery in Context Kim Paton

С твърди корици

37.87 € 74.07 лв

Estate and Succession Duties. a Practical Exposition of the Death Duties ACT. (ACT No. 29 of 1922 as Amended by ACT 31 of 1925.) William Austin Cooke

С меки корици

17.15 € 33.54 лв