[permalink] [id link]
** Z notation, a formal notation for specifying objects using Zermelo-Fraenkel set theory and first-order predicate logic
from
Wikipedia
Some Related Sentences
** and Z
** Alloy, a specification language inspired by Z notation and implementing the principles of Object Constraint Language ( OCL ).
** Dragon Ball Z (" Transformed at Last ," October 18, 1999 ): Goku transforms into a Super Saiyan for the first time in the United States ; aired on Toonami, a now-defunct block on Cartoon Network.
** Stephen Sondheim ( composer ), Thomas Z. Shepard ( producer ) & the original cast ( Dean Jones, Barbara Barrie, George Coe, Teri Rolston, John Cunningham & Beth Howland ) for Company
** Thomas Z. Shepard ( producer ), John De Main ( conductor ), Donnie Albert, Carol Brice, Clamma Dale & the Houston Grand Opera Orchestra for Gershwin: Porgy and Bess
** Stephen Sondheim ( composer & lyricist ), Thomas Z. Shepard ( producer ) & the original cast with Angela Lansbury & Len Cariou for Sweeney Todd
** Robert Brittan, Judd Woldin ( composers ), Thomas Z. Shepard ( producer ) & the original cast ( Virginia Capers, Joe Morton, Ernestine Jackson, Robert Jackson, Deborah Allen & Helen Martin ) for Raisin
** Thomas Z. Shepard ( producer ), Pierre Boulez ( conductor ) & the New York Philharmonic for Bartók: Concerto for Orchestra
** Jay David Saks, Thomas Z. Shepard ( producers ), James Levine ( conductor ) & the Chicago Symphony Orchestra for Mahler: Sym.
** and notation
** 1 E + 6 m < sup > 2 </ sup > or 10 < sup > 6 </ sup > m < sup > 2 </ sup > in scientific notation
** cum tempore ( with time ); notation used at universities in German, Austrian, Swiss and Scandinavian countries for starting 15 minutes late.
** String literal, the notation for representing a string value within the text of a computer program
** Big O notation, used for example in analysis to represent less significant elements of an expression, to indicate that they will be neglected
0.446 seconds.