Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Computation Engineering:: Formal Specification and Verification Methods

Ganesh Gopalakrishnan

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 11409193

Uitgeverij Springer Verlag GmbH, november 2007

Many textbooks on formal methods and verification do an excellent job of discussing theory -- often... Volledige beschrijving

Libristo-code: 11409193

241 b

99.65 €

50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

4.24 €

Pest und ihre Bekampfung Paul Musehold

Gebonden (paperback)

33.51 €

Bortom Equestria - Rainbow Dash kastar loss! Berrow

MP3

4.75 €

AMAZONIAS LERNER

Gebonden (paperback)

37.87 €

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

Gebonden (harde band)

83.14 €

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

Gebonden (paperback)

12.24 €

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

Gebonden (paperback)

13.97 €

Richardson, Rousseau und Goethe Erich Schmidt

Gebonden (paperback)

24.20 €

Radzenie sobie z problemem burzy rozgloszeniowej w mobilnych sieciach ad hoc

Gebonden (paperback)

35.74 €

Geschichten aus der Ronneburg-Apotheke Adel Frank

Gebonden (harde band)

18.02 €

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

Gebonden (paperback)

17.61 €

Jsi divný Oliver Heyn

Gebonden (paperback)

10.42 €

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

Gebonden (paperback)

10.12 €

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

Gebonden (paperback)

21.46 €

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

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computation Engineering:: Formal Specification and Verification Methods

Auteur Ganesh Gopalakrishnan

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2007

Aantal pagina's 400

EAN 9780387244198

ISBN 0387244190

Libristo-code 11409193

Uitgeverij Springer Verlag GmbH

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek

Informatica en informatietechnologie > Informatica

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger