Algebraic Methods: Theory, Tools and Applications
Editat de Martin Wirsing, Jan A. Bergstraen Limba Engleză Paperback – 20 sep 1989
Preț: 637.63 lei
Preț vechi: 797.04 lei
-20%
Puncte Express: 956
Carte tipărită la comandă
Livrare economică 16-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540516989
ISBN-10: 3540516980
Pagini: 568
Ilustrații: VIII, 564 p.
Dimensiuni: 155 x 235 x 31 mm
Greutate: 0.85 kg
Ediția:1989
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540516980
Pagini: 568
Ilustrații: VIII, 564 p.
Dimensiuni: 155 x 235 x 31 mm
Greutate: 0.85 kg
Ediția:1989
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Designing Maintainable SoftwareDennis D. Smith-20%Preț: 322.23 lei402.80 lei -
-27%Preț: 676.09 lei926.15 lei -
-20%Preț: 642.55 lei803.18 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
The Human Side of AgileGil BrozaPreț: 258.49 lei -
Software EngineeringPer Runeson-8%Preț: 478.98 lei520.62 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Python AlgorithmsMagnus Lie Hetland-20%Preț: 468.00 lei584.99 lei -
The Definitive Guide to HTML5 WebSocketVanessa Wang-20%Preț: 372.28 lei465.36 lei -
Head First AgileAndrew Stellman-20%Preț: 337.90 lei422.37 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
Design It! : Pragmatic ProgrammersMicahel Keeling-20%Preț: 250.02 lei312.52 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
System Development: A Strategic FrameworkMichael Bronzite-20%Preț: 317.85 lei397.31 lei -
Software Engineering for Collective Autonomic SystemsMartin Wirsing-20%Preț: 335.05 lei418.81 lei -
Compiler Optimizations for Scalable Parallel SystemsSantosh Pande-20%Preț: 348.37 lei435.46 lei -
Quality of Software ArchitecturesChristine Hofmeister-20%Preț: 318.48 lei398.10 lei -
Elementare AussagenlogikFriedrich L. Bauer-20%Preț: 346.14 lei432.68 lei -
Algebraic Methods II: Theory, Tools and ApplicationsJan A. BergstraPreț: 384.81 lei -
Agent Technology: Foundations, Applications, and MarketsNicholas R. Jennings-20%Preț: 626.87 lei783.59 lei -
-20%Preț: 634.94 lei793.68 lei -
Ruby on Rails for PHP and Java DevelopersDeepak Vohra-20%Preț: 330.54 lei413.16 lei -
Fundamental Approaches to Software EngineeringMarsha Chechik-20%Preț: 332.60 lei415.75 lei -
Rigorous Software Engineering for Service-Oriented SystemsMartin Wirsing-20%Preț: 646.81 lei808.51 lei -
Java kompaktMatthias Hölzl-20%Preț: 293.13 lei366.41 lei -
Instruction Sequences for Computer ScienceJan A. Bergstra-43%Preț: 524.10 lei918.31 lei
Public țintă
ResearchCuprins
Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.