Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computation Engineering:: Formal Specification and Verification Methods

Ganesh Gopalakrishnan

Sprache

Englisch

Buch Hardcover

Libristo-Code: 11409193

Verlag Springer Verlag GmbH, November 2007

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often... Vollständige Beschreibung

Libristo-Code: 11409193

252 b

102.89 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Škola hry na sopránovou zobcovou flétnu 1 Jaroslav Stojan

Broschur

4.49 €

Pest und ihre Bekampfung Paul Musehold

Broschur

37.50 €

Bortom Equestria - Rainbow Dash kastar loss! Berrow

MP3

4.99 €

AMAZONIAS LERNER

Broschur

38.79 €

Georg Wilhelm Friedrich Hegel: Sämtliche Werke. Jubiläumsausgabe / Band 8: System der Philosophie I. Die Logik Georg W Hegel

Hardcover

82.09 €

Neslušne nadšená Henrieta Moravčíková

Broschur

12.69 €

Historia i Teraźniejszość podręcznik dla klasy 1 liceum i technikum 1945–1979 Wojciech Roszkowski

Broschur

14.39 €

Richardson, Rousseau und Goethe Erich Schmidt

Broschur

26.90 €

Radzenie sobie z problemem burzy rozgloszeniowej w mobilnych sieciach ad hoc

Broschur

37.29 €

Geschichten aus der Ronneburg-Apotheke Adel Frank

Hardcover

19.95 €

Manual para sobrevivir en el mundo laboral : cómo hacer frente a las situaciones de estrés Jacques Salomé

Broschur

18.09 €

Jsi divný Oliver Heyn

Broschur

10.79 €

Wybór pism literackich Wójcicki Kazimierz Władysław

Broschur

10.49 €

Manual del candidato electoral Xosé Rúas Araújo

Broschur

22.09 €

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Methods presents formal methods with a concentration on practical applications, thus acting as a fast-track introduction to modern formal specification and verification tools and techniques. By using a wide array of puzzles, problems, industry case studies, and a variety of varification tools, students have the opportunity to learn from experience rather than rote memorization. In using this textbook, students are asked to design protocols, discover properties to state, and thus learn what exactly the whole process of formal verification involves. By inventing new concurrent protocols and then proving them correct, they are saved from simply re-visiting standard protocols, instead learning to think through the process for themselves. By using actual examples, students learn why certain methods work well, what they are lacking, and how to compare and contrast methods. Thus, they learn how to think rather than what to think. TOC:-Introduction -Overview -Promela, SPIN Verification, and Linear-time Temporal Logic -SPIN case study -Murphi Language -Murphi Case Study -NuSMV Model-Checker and BDDs -Boolean Satisfiability and Bounded Model-checking -Software Verification Methods: Blast and Java Path Finder

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computation Engineering:: Formal Specification and Verification Methods

Autor Ganesh Gopalakrishnan

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2007

Anzahl der Seiten 400

EAN 9780387244198

ISBN 0387244190

Libristo-Code 11409193

Verlag Springer Verlag GmbH

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Elektrotechnik

EDV und Informationstechnologie > Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert