Edizione	[1st ed. 1997.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997
Descrizione fisica	1 online resource (X, 442 p.)
Disciplina	005.1
Collana	Lecture Notes in Computer Science
Soggetto topico	Software engineering Programming languages (Electronic computers) Computer science—Mathematics Algorithms Computer programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Symbolic and Algebraic Manipulation Algorithm Analysis and Problem Complexity Programming Techniques
ISBN	3-540-68490-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Formal methods: A panacea or academic poppycock? -- An introduction to the event calculus -- Experiences with PiZA, an Animator for Z -- Automating test case generation from Z specifications with Isabelle -- The Z/EVES system -- Taking Z seriously -- A formal OO method inspired by Fusion and Object-Z -- W Reconstructed -- Using the rippling heuristic in set membership proofs -- A practical method for rigorously controllable hardware design -- Integrating VDM++ and real-time system design -- An approach to the design of distributed systems with B AMN -- Specifying reactive systems in B AMN -- An improved recipe for specifying reactive systems in Z -- A Z specification of the soft-link hypertext model -- Experience with Z developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach to user interface specification -- Analyzing and refining an architectural style -- Weak refinement in Z -- Select Z bibliography -- Comp.specification.z and Z FORUM frequently asked questions.
Record Nr.	UNINA-9910144925903321

Autore	Rießinger Thomas
Edizione	[7th ed. 2017.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017
Descrizione fisica	1 online resource (XIII, 445 S. 40 Abb.)
Disciplina	519
Soggetto topico	Applied mathematics Engineering mathematics Algorithms Matrix theory Algebra Mathematical and Computational Engineering Linear and Multilinear Algebras, Matrix Theory
ISBN	3-662-54803-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	ger
Nota di contenuto	Mengen und Zahlenarten -- Vektorrechnung -- Gleichungen und Ungleichungen -- Folgen und Konvergenz -- Funktionen -- Trigonometrische Funktionen und Exponentialfunktionen -- Differentialrechnung -- Integralrechnung -- Reihen und Taylorreihen -- Komplexe Zahlen und Fourierreihen -- Differentialgleichungen -- Matrizen und Determinanten -- Mehrdimensionale Differentialrechnung -- Mehrdimensionale Integralrechnung.
Record Nr.	UNINA-9910484969003321